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

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

  • Digital
    500 JPY

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

About shipping
Shipped from warehouse

These products are shipped from BOOTH warehouse as soon as payment is confirmed.

Shipped from home

These products are packed and shipped from the seller. "Ships within ~ days" are the estimated number of days from when payment is confirmed at BOOTH until the item is shipped.
Items shipped by Anshin-BOOTH-Pack will be delivered anonymously.

Download item

You will be able to download these products from "Purchase History" at any time after payment is confirmed.

Shipped from pixivFACTORY

These products are manufactured and shipped by pixivFACTORY as soon as payment is confirmed.

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