素人ですみませんが、ocamlにはマクロや templateはないんでしょーか。
ここら辺が強力で静的な言語があればとても魅力的なのですけど。