型システム入門

型システムの書籍

LambdaNote/support-ts-tapl: 『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイト

世の中の感想ブログなど

• 型システムのしくみのメモ

購入 2026-07-30 (木)

Nushellみたいな型システムをもったembed言語向けトランスパイラを作りたいなぁ（embed用のシェルのような何か）と思い、 ググっていたらこの本の実装が引っかかる。

実装を参考にするなら本も買ってあげる方が良かろう、という事で買う事に。3000円くらい。

自分は虎本の型のあたりは真面目に読んでAlgrithm-Wの論文も読んで自分で2回くらい似たのを実装しているので、 実装経験はそれなりだが、TAPLとかは読んでない。