← Back to NOTES 🌰 ← Back to Effective TypeScript

← 아이템 6 - 편집기를 사용하여 타입 시스템 탐색하기

핵심 요약

타입은 '할당 가능한 값들의 집합'이며, 이 집합은 타입의 '범위'라고 부른다. 타입 연산자는 집합의 연산(유니온은 합집합, 인터섹션은 교집합)으로 이해할 수 있으며, 타입 시스템을 집합의 관점에서 생각하면 타입스크립트의 동작을 더 잘 이해할 수 있다.

자세한 내용

타입과 값의 관계

• 런타임: 모든 변수는 자바스크립트에 의해 각자의 고유한 값을 가짐
• 컴파일 타임: 타입스크립트가 오류를 체크하는 순간에는 "값"이 아니라 "타입"을 가짐
• 타입: "할당 가능한 값들의 집합"이며, 이 집합은 타입의 "범위"

타입의 종류 (집합 관점)

never - 공집합

• 가장 작은 집합
• 아무 값도 포함하지 않는 타입
• 아무런 값도 할당할 수 없음

Unit (Literal) Type - 한 원소 집합

• 한 가지 값만 포함하는 타입
• 예: type A = 'A', type Twelve = 12

Union Type - 합집합

• 두 개 이상의 타입을 결합