>>754
template については、 755 の言う通り functor や parameter polymorphism
で代用できる場面が多い気はする。

代用というか、言語自体に同程度の強力さがあると思うんだけど、別に
template というかたちでまとまってない。何かやりたいことがあれば OCaml
でどう書くかってのは示せると思う。

camlp4 はマクロ機能にしては充実しすぎているので面倒な気はするけれど……。
まじめなマクロや ifdef はちょっと面倒。