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

型システムがようやくわかった！

現代の開発環境では、エディタ上でコードを書いている最中から、実行もせずにエラーが判明することがあります。コードの補完でも、文脈に適した候補が魔法のように提示されてきます。こうした機能で中心的な役割を果たすのが「型システム」です。

では、なぜ型システムはプログラムのエラーを早期に発見したり、適切な補完候補を絞り出せたりするのでしょうか？　背景となる数学の理論を教科書で学ぶ以外に、型システムで何ができるのか、どのように機能するかを知る道はないのでしょうか？

本書では、TypeScriptのサブ言語に対する型検査器を実装しながら、実用的なプログラミング言語の機能が型システムでどう実現できるかを見ていきます。AST（抽象構文木）や処理系の実装を通してプログラミングへの理解を深めるように、型検査器の実装を通して「型システムのしくみ」を覗いてみましょう！

本書は『n月刊ラムダノートVol.4, No.3（2024）』に掲載された記事「TypeScriptではじめる型システム」を基に内容を加筆して書籍として刊行したものです。