infer, never만 보면 두려워지는 당신을 위한 타입 추론 - 기초 타입 이론
프론트엔드
infer, never만 보면 두려워지는 당신을 위한 타입 추론 - 기초 타입 이론
두줄요약
TypeScript 타입 추론의 기초를 타입 이론 관점에서 설명했습니다. 서브타입 관계, 함수 타입, never·unknown·any·void의 의미를 정리했습니다.
핵심 내용
- TypeScript 타입 추론의 기초를 설명하는 글
- 타입을 값의 집합과 성질로 보고, 서브타입 관계와 대입 가능성을 부분순서로 해석
- 원시 타입, 리터럴 타입, 객체 타입, 배열·튜플, keyof, 함수 타입, 특수 타입 never·unknown·any·void의 포함 관계 정리
- 안전한 대입과 참조를 이해하기 위한 타입 이론의 수학적 배경과 직관 제시