5.7 맺으며

5장에서는 여러 타입의 호환성을 판단하는 방법에 대해 알아보았다. 가장 먼저 구조적 타입 시스템의 원리에 기초해서 객체 타입의 호환성을 판단하는 기준에 대해 다루었다. 또한 함수 타입, 클래스, 그리고 제너릭 등의 다양한 타입의 호환성이 객체 타입의 그것과 어떤 공통점이 있고 어떤 차이점이 있는지도 살펴 보았다. 마지막으로 열거형의 호환성을 판단하는 법을 배웠다.

다음 6장에서는 타입 시스템에 관한 보다 심화된 내용을 다루어 본다. 먼저 앞부분에서는 타입스크립트가 프로그램이 제공하는 정보로부터 타입을 어떻게 좁혀 나가는지(narrowing) 살펴 볼 것이다. 또한, 타입 추론과 타입 단언이 어떤 개념인지, 타입은 어떤 의미를 갖는지 등에 대해서도 다룬다.