Physical (worldwide shipping)
- Physical (direct)印刷版Ships within 5 days700 JPY
Physical (ship to Japan)/ Digital Download
- Physical (direct)印刷版Ships within 5 days700 JPY
- Digital電子版500 JPY
型推論器を自作することでそのしくみを理解しようという書籍です。 シンプルな言語を定義し、それに対して型推論する方法を紹介しています。 前半3分の2は理論の説明で、後半3分の1は実装の解説です。 実装には Haskell を用いていますが、理論の説明を読んで各々好きな言語で実装すればよいです。 印刷版には電子版が付属します。
仕様
ファイルフォーマット：PDF ページ設定：B5 ページ数：本文28ページ 表紙カラー：フルカラー 本文カラー：モノクローム
サンプルコード
https://github.com/kakkun61/type-reconstruction-book-sample-code
型推論器を自作することでそのしくみを理解しようという書籍です。
シンプルな言語を定義し、それに対して型推論する方法を紹介しています。
前半3分の2は理論の説明で、後半3分の1は実装の解説です。
実装には Haskell を用いていますが、理論の説明を読んで各々好きな言語で実装すればよいです。
印刷版には電子版が付属します。