TL;DR エディタでコードを書いている最中にエラーが分かったり、文脈に合った補完候補が出たりするのは、型システムのおかげである。 本書は TypeScript のサブ言語に対する型検査器を実装しながら、実用的なプログラミング言語の機能が型システムでどう実現できるかを学ぶ。 目次 型システムとは 真偽値の型と数値の型 関数型 逐次実行と変数定義 オブジェクト型 再帰関数 部分型付け 再帰型 ジェネリクス 関連 TypeScript ラムダノートの書籍ページ