[typescript] subtype

타입 = 집합

 

number type ≥ number literal type

 - number는 number literal의 슈퍼타입

 - number literal은 number의 서브 타입

 

타입 호환성

 - number <- number literal (O)

 - number literal <- number (X)

const b:42 = 42
const d:number =  b

const e:number =  42
const f: 42 = e //Type 'number' is not assignable to type '42'.(2322)

 

 

정리

작은거는 큰거에 넣을 수 있고 큰거는 작은거에 못 넣는다.