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

이 글은 프론트엔드 개발에서 필수적으로 사용되는 타입스크립트의 유니온 타입과 구조적 타이핑에 대해 집합의 관점에서 설명합니다. 일반적인 집합 개념과 타입스크립트의 유니온 타입 및 키오프 연산자(`keyof`)가 다르게 동작하는 이유를 자바스크립트의 구조적 타이핑(덕 타이핑) 특징과 연결하여 설명합니다.

코끼리와 장님 우화를 예시로 들어, 객체가 특정 타입에 부합하는 최소한의 특징만 가지고 있으면 해당 타입으로 간주하는 구조적 타이핑의 개념을 이해시킨 후, 이를 바탕으로 타입스크립트의 복잡한 타입 연산이 왜 그렇게 동작하는지 깊이 있게 탐구합니다. 이를 통해 타입스크립트 타입 시스템을 더 명확하게 이해하고 효과적으로 활용하는 데 도움을 줍니다.