型システム入門　第2章演習

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

型システム入門 −プログラミング言語と型の理論− Benjamin C. Pierce 住井 英二郎 オーム社 2013-03-26 売り上げランキング : 65013

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