趣味はデバッグ……

俺々言語にだって型推論が欲しい！

Physical (worldwide shipping)

Purchase via Buyee

Buyee is a third party service for shipping your items globally. Read More

印刷版
Ships within 5 days
Physical (direct)
700 JPY

Physical (ship to Japan)/ Digital Download

印刷版
Ships within 5 days
Physical (direct)
700 JPY
電子版
Digital
500 JPY

About Gift

型推論器を自作することでそのしくみを理解しようという書籍です。シンプルな言語を定義し、それに対して型推論する方法を紹介しています。前半3分の2は理論の説明で、後半3分の1は実装の解説です。実装には Haskell を用いていますが、理論の説明を読んで各々好きな言語で実装すればよいです。印刷版には電子版が付属します。

仕様

ファイルフォーマット：PDF ページ設定：B5 ページ数：本文28ページ表紙カラー：フルカラー本文カラー：モノクローム

サンプルコード

https://github.com/kakkun61/type-reconstruction-book-sample-code