외부 입력
API, JSON, 폼 값은 처음부터 신뢰하지 않습니다.
특수 타입은 값의 안전 단계에 배치한다
입력의 불확실성을 `unknown`으로 받고, 확인 후 도메인 타입으로 옮기며, 불가능한 흐름은 `never`로 닫습니다.
unknown
값은 담되 바로 읽지 못하게 막아 둡니다.
가드와 검증
런타임에서 확인 가능한 조건으로 좁힙니다.
도메인 타입
검증된 값만 실제 비즈니스 로직에 넘깁니다.
never
도달하면 안 되는 분기를 컴파일러가 확인하게 합니다.