keigoiさんの公開ページ 復刊投票コメント一覧

解説に書いた通り、OCamlを学ぶのに大変良い一冊です。

モデル検査や関数型言語の浸透により、プログラミング言語の理論的扱いを学習しようという機運が高まりつつあります。
本書はそういった動機の人が読みやすく書かれていると聞いています。

この本で表示的意味論を勉強しました。
書店では手に入らず、図書館で借りて読みましたが、売っていれば買います。
類書もそれほど豊富ではなく、とくに圏論に関する部分は貴重です。

圏論に関する事典という感じで、絶えることなく末永く愛される良書なのだと思います。