타입스크립트는 왜 그럴까? 집합으로 이해하는 타입스크립트 | 인프콘2023

unknown은 모든 타입을 서브타입으로 받아들이는 타입 계층의 최상단이자 전체 집합으로 해석할 수 있다. 어떤 값이든 unknown 변수에는 할당할 수 있지만, 그 값의 실제 집합을 알 수 없으므로 다른 구체 타입에 바로 넣거나 속성을 사용할 수는 없다. typeof 같은 타입 가드로 범위를 좁힌 뒤에만 연산을 허용하는 규칙이 unknown의 안전성을 만든다.

never는 어떤 값도 포함하지 않는 공집합이므로 모든 타입의 서브타입이지만 실제 값을 직접 할당할 수는 없다. 함수가 값을 반환할 가능성이 전혀 없거나 조건 분기를 모두 소진한 지점처럼 도달할 수 없는 상태를 타입으로 표현한다. switch문의 남은 값을 never에 할당하면 새로운 유니온 멤버를 빠뜨렸을 때 컴파일 오류가 발생해 완전성 검사를 구현할 수 있다.

any는 대부분의 타입과 양방향으로 할당되며 집합의 포함 관계를 사실상 무시하는 치트키처럼 동작한다. 편리하지만 컴파일러의 검사를 우회해 존재하지 않는 속성이나 잘못된 연산도 허용하므로 런타임 오류의 위험을 다시 끌어온다. unknown·never와 유니온 또는 인터섹션을 만들었을 때의 결과를 비교하면 세 특수 타입의 위치와 any의 예외성이 선명해진다.

TypeScript는 이름보다 프로퍼티 구조로 객체 타입을 판단하므로 필수 프로퍼티가 많을수록 조건을 만족하는 값의 집합은 오히려 작아진다. 이 때문에 더 구체적인 객체는 프로퍼티가 적은 타입의 서브타입이 되고, 초과 프로퍼티 검사와 일반 할당의 차이도 구분해야 한다. 유니온은 두 타입 집합의 합집합, 인터섹션은 공통으로 만족해야 할 교집합으로 보면 객체 타입의 결합 결과까지 자연스럽게 설명된다.