특수 타입은 값보다 사용 가능한 범위와 흐름을 설명한다
unknown, object, void, never, null, undefined는 값의 모양보다 “어디까지 쓸 수 있는가”를 드러낸다.
외부 값
가드 후 사용
넓은 객체
구체 구조 타입을 우선
반환값 사용 안 함
작업 수행 함수
정상 복귀 없음
throw, 무한 루프, 불가능 분기
| 상황 | 판단 |
|---|---|
| null/undefined | 값 없음 자체를 모델링할 때만 명시 |
| 피할 것 | any로 열어두고 바로 속성 접근 |
| 핵심 | 타입은 가능한 사용 범위를 줄이는 장치 |
핵심 특수 타입은 “값의 모양”보다 “사용 가능한 코드 경로”를 읽어야 한다.