http://www.jmuk.org/~mukai/camlp4tut.htmlを読んでみる。 噂によるとcamlp4を覚えるとOCamlでローカルopenや内包表記、モナドが使えるようになるらしい。Lispのマクロのようなものだと想像してるんだけど、どうなんだろう。