Michel が cvs HEAD に lazy pattern を導入。楽しいバージョン名は、 Objective Caml version 3.11+dev12 Private_abbrevs+natdynlink+lazy_patterns (2008-07-09) ここまで長くなったことはないんじゃないか？肝心の中身: lazy を pattern 中で書くことで …

ノードが Set で実装された tree を書こうと思ったら、recursive module が必要だった。まあ、明示的に signature を書かなければいけないことを除けば recursive module は別に難しくない。書いてみてから OCaml リファレンスを見たら例としてほとんど同じ…