01 타입스크립트 소개
02 ECMAScript
03 타입스크립트 기초 문법
04 인터페이스와 클래스
05 타입의 호환성
06 타입 시스템 심화
07 고급 타입
08 모듈과 네임스페이스
09 실제 프로젝트에서 사용하기
10 유용한 라이브러리 소개
부록 II : 자바스크립트 언어 생태계

3.0 타입스크립트 기초 문법

타입 표기 (Type Annotation)

타입스크립트 코드에서 어떤 변수 또는 값의 타입을 표기하기 위해 타입 표기를 사용한다. 타입 표기는 식별자 또는 값 뒤에 콜론(:)을 붙여 value: type 의 형태로 표기한다.

const areYouCool: boolean = true;
const answer: number = 42;
const typescript: string = "great";
const greetings: string = `
Hello, Readers!
Welcome to TypeScript.
`;
const hasType: Object = {
TypeScript: true,
JavaScript: false
};

예제 코드의 실행 환경

1장에서 언급했듯, 기본 코드 베이스 이식의 용이성은 타입스크립트의 언어 디자인의 큰 목표 중 하나다. 그 목표를 달성하기 위한 핵심 장치가 바로 점진적 타이핑이다.

점진적 타이핑이란 말 그대로 점진적으로 타입 안정성을 키워가는 것을 허용하는 타입 시스템이다. 즉 일단 프로그램의 일부에만 정적 타입 검사를 시행하고 나머지 부분은 추후 타입 정보를 추가하는 식의 접근이 가능한 것이다. 이러한 점진적 타이핑의 일환으로, 타입스크립트 컴파일러는 타입 시스템의 엄격한 정도를 선택하기 위한 다양한 옵션을 제공한다.

특별히 따로 언급하지 않는 한, 이 책은 모든 예제 코드에서 --strict 컴파일러 플래그가 켜진 환경을 가정한다. 구체적으로 어떤 플래그들이 켜지며 그 외에도 어떤 옵션이 있는지는 8장에서 다룬다. 현재로서는 이 플래그가 켜진 환경에서 상대적으로 엄격한 타입 검사가 수행된다는 것을 인지하는 정도로 충분하다.

타입스크립트는 (이후 6장에서 다룰) 타입 추론을 지원한다. 즉, 프로그래머가 명시적으로 타입 정보를 적지 않아도 컴파일러가 이미 알고 있는 정보와 주변 맥락을 기반으로 타입을 추론할 수 있다. 하지만 본 책의 예제 코드는 타입 추론에 최소한도로만 의존한다. 즉 추론할 수 있는 타입 정보도 명시적으로 적어 주는 것을 선호한다.

이 두 가지 결정은 더 명시적인 코드 작성을 강제한다는 공통점을 갖고 있다. 점진적 타이핑과 타입 추론, 둘 모두 실사용시 큰 편리함을 주는 타입스크립트의 장점이다. 하지만 이 책은 입문서인만큼 간결함을 다소 희생하더라도 더 명시적인 쪽을 택하는 것이 독자의 혼란을 줄일 수 있으리라 판단해 그런 결정을 내렸다.