시지프의 타입스크립트 도약하기

타입스크립트의 역할

타입스크립트에서 타입 호환성이라는 것은 구조적 서브 타이핑에 기반하고 있다.
- 구조적 서브 타이핑 === 프로퍼티 베이스 타이핑 (속성 기반 타이핑)
타입 이름이 달라도 같은 타입으로 인식될 수 있다
같은 속성을 가지기만 하면 같은 타입으로 인식될 수 있다.
Super type 에 Sub type 이 들어갈 수 있는 타입시스템
타입을 집합 관전ㅁ에서 바라보아야 한다.
타입은 곧 할당 가능한 값들의 집합이다.
집합 중 가장 작은 집합은?
집합의 원소가 1개인 타입은?
집합의 원소가 2개인 타입은?
모든 타입의 상위 집합인 타입은
- unknown

정의한 속성 이외에 추가적인(잉여) 속성이 있는지 체크하고, 있다면 에러를 띄운다.
왜 구조적 서브 타이핑을 거스르는 잉여 속성 체크를 설계했는가?
- 속성 이름의 오타 같은 실수를 잡아 주기 위해
어떤 경우에 구조적 서브 타이핑이 적용되지 않고, 잉여 속성 체크를 수행하는가?
- 객체 리터럴을 사용할 때
Type A is not assignable to Type B
- 구조적 서브 타이핑에 의한 타입 에러 => Type A가 Type B의 Sub type이 아니다.
- 잉여 속성 체크에 의한 타입 에러 => Type A에 잉여 속성이 있다.

- any는 모든 타입에 할당 가능하다.
  - any는 최하위 집합이다.
- 모든 타입이 any에 할당 가능하다
  - any는 최상위 집합이다.
- any는 기본적으로 타입 시스템을 따르지 않는다.
어떤 타입이 들어올지 모를 경우, 모든 타입이 들어올 수 있을 경우 any가 아닌 unknown을 사용하는 것이 적절하다.