Typescript - Union Type, Intersection Type, Etc.

간단 소개

Typescript의 Union Type, Intersection Type, Template Literal Types을 활용하여 타입 시스템을 효과적으로 사용하는 방법을 설명합니다.

AI Summary

Typescript 타입 시스템의 이해
- 타입스크립트는 구조적 타입 시스템을 사용하여 타입 비교 시 구조를 기반으로 할당 가능성을 판단합니다.
- 타입은 할당 가능한 값들의 집합으로 정의되며, 유닛 타입은 단 하나의 원시 값만을 가집니다.
- Union Type과 Intersection Type을 통해 다양한 타입 연산을 수행할 수 있습니다.
Union Type과 Intersection Type 활용
- Union Type은 합집합을 의미하며, | 기호를 사용하여 여러 타입 중 하나를 가질 수 있도록 합니다.
- Intersection Type은 교집합을 의미하며, & 기호를 사용하여 여러 타입의 모든 속성을 포함하는 타입을 생성합니다.
- 상위 타입과 하위 타입의 교집합은 하위 타입이 되고, 합집합은 상위 타입이 됩니다.
Template Literal Types와 객체 리터럴의 엄격성
- Template Literal Types을 사용하여 문자열 기반의 타입을 유연하게 정의할 수 있습니다.
- 객체 리터럴을 직접 할당할 때 타입스크립트는 더 엄격한 검사를 수행하여, 정의되지 않은 속성의 추가를 방지합니다.