타입 조건 검사
왼쪽 타입이 오른쪽 조건에 할당 가능하면 참 타입, 아니면 거짓 타입을 선택합니다.
T extends U
조건부 타입은 타입 수준의 분기 로직을 만듭니다
T extends U ? X : Y 형태로 타입 입력이 특정 조건을 만족하는지에 따라 결과 타입을 다르게 계산합니다.
유니온을 하나씩 처리
제네릭에 유니온이 들어오면 각 멤버에 조건을 적용한 뒤 다시 합쳐집니다.
A | B
부분 타입 추출
배열 원소나 함수 반환값처럼 타입 내부의 일부를 변수처럼 뽑아낼 수 있습니다.
infer R
반복 패턴 표준화
Exclude, Extract, ReturnType 같은 내장 타입은 조건부 타입 원리를 활용합니다.
ReturnType