모든 타입들의 슈퍼셋
모든 타입들은 unknown타입
typescript의 unknown과 never 타입
다른 모든 타입들의 슈퍼셋이다. 모든 타입들은 unknown타입이다. 다른 모든 타입들의 서브셋이다. 가장 최하위 개념의 타입이다. 따라서, 그 어떤 다른 타입들도 never타입일 수 없다. never는 never그 자체다. never는 그 어떤 타입도 아니기 때문에 union을 하더라도 그대로다. T & unknown ⇒ T unknown은 모든 타입들의 superset이기 때문에 unknown과 어떤 타입 T를 교집합하면 그대로 T가 나온다.
https://simsimjae.tistory.com/463
[TS] 9. unknown Type
TypeScript 3.0 version부터 unknown 이라는 새로운 타입이 추가됐다. unknown 타입이 도입된 배경을 보다 잘 이해하기 위해 any 타입을 살펴봐야 한다. TypeScript에서 any는 모든 타입을 할당받을 수 있는 타입이다. 즉 any 타입으로 선언된 변수, argument는 모든 타입의 값이 할당될 수 있고 전달될 수 있는 것이다. unknown 타입도 any 과 마찬가지로 모든 타입의 값이 할당될 수 있다.
https://jbee.io/typescript/TS-9-unknown/
![[TS] 9. unknown Type](https://jbee.io/static/6d7dd3f6b6c514e8e4b59a2946677081/ee604/typescript_banner.png)

Seonglae Cho