조건부 타입과 제네릭

조건부 타입은 제네릭 타입 변수의 속성에 따라 다른 타입을 반환할 수 있습니다.

5장 2절에서 다룬 분산 조건부 타입(Distributive Conditional Types)은 제네릭과 함께 사용될 때 더욱 강력해집니다.

5장 2절에서 다룬 infer 키워드는 조건부 타입 내에서 타입 변수를 추론하여 사용할 수 있게 해주며, 제네릭과 결합될 때 복잡한 타입의 일부를 동적으로 추출하는 데 매우 강력합니다.