希望があれば、かつ気が向いたら、チュートリアル的な内容も書くかも知れないです。でもぼくそんな良く分かってないし説明上手じゃないしなあ…。
Lazyを使った再帰的環境
OCamlでもlazyというキーワードを使えば実は遅延評価ができるのですが、これでも再帰関数を実装できそうです。試しに書いてみた以下のコードが動作しました。Haskellではデータ構造が遅延評価して，かつ再帰的に自分を中に入れるようなデータが書けるので、http://www.haskell.org/haskellwiki/Tying_the_Knotに書いてるようにループを含むようなデータ構造が作れるのですが、同じようなことをOCamlでやってみた感じです。
Scheme演習でもちらっと出てきたように、クロージャを使えば遅延評価は実現できるので、結局スライドに書いてたクロージャを使うやり方と同じことだとは思います。でもlazy使うほうが書きやすそう。
type expr = EDummy type value = VFun of (env lazy_t) * (string list) * expr and frame = (string * value) list and env = frame list let rec lookup key = function | [] -> raise Not_found | frame::env -> try List.assoc key frame with Not_found -> lookup key env let rec env = ( ("fuga", VFun ((lazy env), [], EDummy)) :: ("hoge", VFun ((lazy env), ["foo"; "bar"], EDummy)) :: [] ) :: [] let _ = match (lookup "hoge" env) with (VFun (lazy env', _, _)) -> match (lookup "fuga" env') with (VFun (lazy env'', _, _)) -> match (lookup "hoge" env'') with (VFun (_, [x; y], _)) -> print_string (x^y) (* print "foobar" *)