TypeScript/Type System

타입 별칭(Type Alias) Interface랑 비슷해 보인다. Primitive, Union Type, Tuple, Function, 기타 직접 작성해야하는 타입을 다른 이름을 지정할 수 있습니다. 만들어진 타입의 refer로 사용하는 것이지 타입을 만드는것은 아니다. Aliasing Primitive type MyStringType = string; const str = 'world'; let myStr: MyStringType = 'hello'; myStr = str; // 별 의미가 없다. Aliasing Union Type let person: string | number = 0; person = 'Kdong'; type StringOrNumber = string | number; let a..

타입 호환성(Type Compatibility) 서브 타입(1) // sub1 타입은 sup1 타입의 서브 타입이다. let sub1: 1 = 1; let sup1: number = sub1; sub1 = sup1; // error! Type 'number' is not assignable to type '1'. // sub2 타입은 sup2 타입의 서브 타입이다. let sub2: number[] = [1]; let sup: object = sub2; sub2 = sup2; // error! Type '{}' is missing the following properties from type 'number[]': length, pop, push, concat, and 16 more. // sub3 타입은..

Structural Type System VS Nominal Type System 타입스크립트(Structural Type System)의 타입 체계를 이해하는데 도움이 되느 시스템이다. interface IPerson { name: string; age: number; speak(): string; } type PersonType = { name: string; age: number; speak(): string; }; let personInterface: IPerson = {} as any; let personType: PersonType = {} as any; personInterface = personType; personType = personInterface; Structural Type Sy..

작성자와 사용자의 관점으로 코드 바라보기 타입 시스템 컴파일러에게 사용하는 타입을 명시적으로 지정하는 시스템 컴파일러가 자동으로 타입을 추론하는 시스템 타입스크립트의 타입 시스템 타입을 명시적으로 지정할 수 있다. 타입을 명시적으로 지정하지 않으면, 타입스크립트 컴파일러가 자동으로 타입을 추론한다. 사용자, 작성자의 입장 타입이란? 해당 변수가 할 수 있는 일을 결정한다 // JavaScript // f1이라는 함수의 bodt 에서는 a 를 사용할 것이다. // a 가 할 수 있는 일은 a 의 타입이 결정한다. function f1(a) { return a; } 자바스크립트에선 함수 사용법에 대한 오해를 야기할 수 있다. // JavaScript // (f2 실행의 결과가 NaN을 의도한 것이 아니라면)..