技術書典6趣味はデバッグ……俺々言語にだって型推論が欲しい!Digital500 JPYAdd to CartBuy a GiftAbout Gift型推論器を自作することでそのしくみを理解しようという書籍です。 シンプルな言語を定義し、それに対して型推論する方法を紹介しています。 前半3分の2は理論の説明で、後半3分の1は実装の解説です。 実装には Haskell を用いていますが、理論の説明を読んで各々好きな言語で実装すればよいです。仕様ファイルフォーマット:PDF ページ設定:B5 ページ数:本文28ページ 表紙カラー:フルカラー 本文カラー:モノクロームサンプルコードhttps://github.com/kakkun61/type-reconstruction-book-sample-code趣味はデバッグ……Visit FANBOX!Hardware & GadgetN ゲージ用 Bluetooth スピーカー基板 ver. 1趣味はデバッグ……300 JPY技術書典4Tech Books手続き Haskell趣味はデバッグ……500 JPY