이 절에서는 지금까지 배웠던 내용을 바탕으로 유용한 타입들을 만들어보겠습니다.

2.29.1 판단하는 타입 만들기

타입스크립트를 작성할 때는 특정 타입이 무슨 타입인지 판단할 수 있어야 합니다. 그래야 그 타입을 컨디셔널 타입으로 제거할 수도 있고, 그 타입만 추릴 수도 있습니다. 다양한 판단 타입을 직접 만들어봅시다. 참고로 타입을 만들 때 any 타입은 쓰지 않는 것이 좋습니다.

IsNever

먼저 never인지 판단하는 IsNever 타입입니다. 분배법칙을 배울 때 만든 적이 있습니다.

type IsNever<T> = [T] extends [never] ? true : false;

배열로 감싸는 이유는 T에 never를 넣을 때 분배법칙이 일어나는 것을 막기 위해서입니다.