俺々言語にだって型推論が欲しい！ - 趣味はデバッグ…… - BOOTH

型推論器を自作することでそのしくみを理解しようという書籍です。 シンプルな言語を定義し、それに対して型推論する方法を紹介しています。 前半3分の2は理論の説明で、後半3分の1は実装の解説です。 実装には Haskell を用いていますが、理論の説明を読んで各々好きな言語で実装すればよいです。 型推論器を自作することでそのしくみを理解しようという書籍です。 シンプルな言語を定義し、それに対して型推論する方法を紹介しています。 前半3分の2は理論の説明で、後半3分の1は実装の解説です。 実装には Haskell を用いていますが、理論の説明を読んで各々好きな言語で実装すればよいです。 仕様ファイルフォーマット：PDF ページ設定：B5 ページ数：本文28ページ 表紙カラー：フルカラー 本文カラー：モノクローム サンプルコードhttps://github.com/kakkun61/type-re