新OCaml本

http://gihyo.jp/book/2007/978-4-7741-3264-8

プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~

が届きました。図書登録手続きに2週間ぐらいかかる(!)そうなので、しばらくきちんと読めませんが、ぱっと見ただけでもWebにあった授業資料から大幅加筆（というかほとんどリライト？）されていて、説明も非常に懇切丁寧でわかりやすい気がします。ところどころにあるジョーク(?)も心が和みます。:-) 「OCamlでは，このような型に関する抽象や型への適用の構文は用意されていませんので，すべて心の中で行います」（強調は原文ママ）はすでに有名ですが、他にも↓など（私は恥ずかしながら知りませんでした）。

ここで再帰に関する有名な（？）格言を紹介します。

「再帰を理解するためにまず理解しなければならないことは，再帰である」