tkhの日記: ML
日記 by
tkh
どこかの投稿で、MLを勉強するには ML for the Working Programmerがいいとあったが、この本は定理証明関係が中心になっているので、純粋にプログラミングを勉強するのにはどうかな、と思う。後ろの方にあるラムダ計算インタプリタを作るあたりは結構いいかもしれないが。
そういう僕は、Ullman本を読んでラムダ計算インタプリタを書いた。
そういう僕は、Ullman本を読んでラムダ計算インタプリタを書いた。