本気！TypeScript ― 型設計から型レベルプログラミングまで

型アノテーションは付けているのに、誤ったデータが依然として実行時になって初めてエラーになっていませんか？ この講義では、誤った状態がそもそもコンパイルされないようにドメインを設計する方法から、型チェッカー内で動作するプログラムの書き方まで、TypeScript 7を基準に扱います。CLIを5つ自分で作り、最後には自分だけの小さな言語をJavaScriptにコンパイルするコンパイラを完成させます。