[TYPESCRIPT] TYPE SYSTEM

타입 추론 : 명시적으로 타입 선언이 되어있지 않은 경우, 타입스크립트는 타입을 추론해 제공

타입 단언 : 타입스크립트가 타입 추론을 통해 판단할 수 있는 타입의 범주를 넘는 경우, 더 이상 추론하지 않도록 지시

 

structural type system : 구조가 같으면, 같은 타입이다

nominal type system : 구조가 같아도 이름이 다르면, 다른 타입이다

 

타입 호환성

같거나 서브 타입인 경우, 할당이 가능하다. => 공변

함수의 매개변수 타입만 같거나 슈퍼타입인 경우, 할당이 가능하다. => 반병

 

타입 별칭

let person: string | number = 0;
person = 'Mark';
type StringOrNumber = string | number;
let another: StringOrNumber = 0;
another = 'Anna';