리터럴 확장
let 변수의 "dark"는 string으로 넓어지고, const와 as const는 리터럴 타입을 보존합니다.
as const
타입 추론은 값이 넓어지는 순간부터 읽습니다
literal widening, contextual typing, generic inference, return type 경계를 알면 명시할 타입과 맡길 타입이 갈립니다.
문맥 기반 추론
콜백 매개변수, JSX prop, 배열 메서드는 기대 타입을 받아 자동으로 좁아집니다.
제네릭 추론
인자와 반환 위치에서 T를 모으지만, 빈 배열과 null은 타입 힌트가 필요합니다.
<T>
반환 타입 경계
공개 함수는 추론 결과를 점검하고 API 경계에서는 명시해 변경을 드러냅니다.