会社で「型システム入門」の読書会を始めました。

型システム入門 −プログラミング言語と型の理論−型システム入門 −プログラミング言語と型の理論−
Benjamin C. Pierce 住井 英二郎

オーム社 2013-03-26
売り上げランキング : 65013

Amazonで詳しく見る by G-Tools

まだ読み始めたばかりなのでとりあえず2章の数学的基礎を固めて、次回から3章に入っていく感じです。
練習がてら演習問題を解いたので、発表時資料兼ねてブログに残しておきます。
解答が省略されてる問題なので、完全に合ってるかは若干怪しいです。

Continue reading