型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語

本书介绍了TypeScript的类型系统，通过实现类型检查器来解释编程语言的功能如何通过类型系统实现。

• 本书基于之前发表的文章进行扩展编写。
• 通过实现类型检查器来深入理解类型系统的机制。