unknown
외부에서 온 값은 먼저 unknown으로 받고 좁힌 뒤 사용한다.
특수 타입 안전 사용 지도
unknown, object, void, never, null, undefined는 빈칸이 아니라 의도를 표현하는 타입이다.
object
원시값이 아닌 구조만 받는 계약에 쓰되 구체 속성은 따로 정의한다.
void / never
콜백 반환 무시는 void, 절대 돌아오지 않는 흐름은 never로 둔다.
null / undefined
값 없음의 의미를 하나로 정하고 optional과 초기화 규칙을 맞춘다.
특수 타입은 애매함을 숨기기보다 어디서 확정해야 하는지 표시할 때 가장 유용하다.