조건부 타입(Conditional Type)

• 타입시스템에 조건적 로직을 도입하는 기능
• 입력 타입에 따라, 다른 타입을 선택 할 수 있다.

T extends U ? X : Y

• T 는 검사할 타입
• U 는 T 가 확장되는지 확인할 타입
• X 는 조건이 참일 때 선택되는 타입
• Y는 조건이 거짓일 때 선택되는 타입