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

이 글은 프론트엔드 개발에서 필수적인 타입스크립트의 유니온 타입과 구조적 타이핑에 대해 집합의 관점에서 깊이 있게 탐구합니다. 일반적인 집합의 개념으로는 설명하기 어려운 타입스크립트의 `keyof (A&B) = (keyof A) | (keyof B)`와 `keyof (A|B) = (keyof A) & (keyof B)`와 같은 현상을 자바스크립트의 구조적 타이핑(덕 타이핑)이라는 특징과 연결하여 설명합니다.

코끼리와 장님 우화를 예시로 들어, 객체가 특정 타입의 최소한의 특징만 만족하면 해당 타입으로 간주하는 구조적 타이핑의 원리를 설명하고, 이를 통해 타입스크립트의 타입 시스템이 어떻게 동작하는지 이해를 돕습니다. 글은 이러한 구조적 타이핑의 이해가 타입스크립트 유니온 타입의 동작 방식을 파악하는 데 중요함을 강조합니다.