집합의 관점에서 타입스크립트 바라보기

이 글은 프론트엔드 개발에서 필수적인 TypeScript의 유니온 타입과 구조적 타이핑에 대해 집합의 관점에서 설명합니다. 일반적인 집합의 개념으로는 이해하기 어려운 `keyof (A&B) = (keyof A) | (keyof B)` 와 `keyof (A|B) = (keyof A) & (keyof B)` 와 같은 TypeScript의 독특한 동작 방식을 JavaScript의 구조적 타이핑(덕 타이핑) 특성과 연결하여 설명합니다.

코끼리와 장님 우화를 예시로 들어, 객체가 특정 타입에 부합하는 최소한의 특징만 가지고 있으면 해당 타입으로 간주하는 구조적 타이핑의 원리를 설명하고, 이를 통해 TypeScript의 타입 시스템이 JavaScript의 동적 특성을 어떻게 모델링하는지 이해를 돕습니다. 궁극적으로 TypeScript 타입을 집합의 관점에서 더 깊이 이해하고 효과적으로 활용하는 데 도움을 주는 것을 목표로 합니다.