型システム入門 −プログラミング言語と型の理論−、を読んでおります。
型システム入門 −プログラミング言語と型の理論−
posted with amazlet at 15.04.13
これをちまちまと読みつつ、せっかくなので各章にある「ML実装」の演習課題をRustにポーティングしていこうと思っています。Rustの勉強と型システムの勉強が一石二鳥かと思ったら二重苦というかなんというか、実に楽しいっすね。Rustは初めてC言語にさわったときレベルで楽しい。
できた分は以下にコード逐次公開していきます。
