타입 시스템

타입 시스템

최신 언어들은 저마다의 타입 시스템을 갖추고 있습니다.

타입 시스템(type system)
타입 검사기가 프로그램에 타입을 할당하는 데 사용하는 규칙 집합

타입 시스템은 어떤 타입을 사용하는지를 컴파일러에 명시적으로 알려주는 타입 시스템과 자동으로 타입을 추론하는 타입 시스템으로 구분되며, 두 시스템은 서로 장단점이 있습니다.

 

TypeScript는 두 가지 시스템 모두의 영향을 받았습니다. 즉, 개발자는 타입을 명시하거나 TypeScript가 추론하도록 하는 방식 중에서 선택할 수 있습니다.

 

어노테이션을 이용하면, TypeScript에 명시적으로 타입을 지정할 수 있습니다.

 

어노테이션은 'value: type' 형태로 쓰이며 타입 검사기에게 이 value의 타입은 type이라고 알리는 역할을 합니다.

let a: number = 1; // a는 number
let b: string = 'hi'; // b는 string
let c: boolean[] = [true, false]; // c는 boolean 배열

어노테이션을 사용하지 않으면 타입스크립트가 알아서 타입을 추론합니다.

let a = 1; // a는 number
let b = 'hi'; // b는 string
let c = [true, false]; // c는 boolean 배열

어노테이션을 사용하지 않아도 타입 지정 결과는 달라지지 않습니다.

 

TypeScript가 타입을 추론하도록 두는 것이 코드를 줄일 수 있는 방법이므로 보통 어노테이션은 생략합니다:)