パスワードを忘れた? アカウント作成
734521 journal

tkhの日記: ML

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

そういう僕は、Ullman本を読んでラムダ計算インタプリタを書いた。
typodupeerror

アレゲはアレゲ以上のなにものでもなさげ -- アレゲ研究家

読み込み中...