Well, I don't know. The "No polymorphism" section is misleading (though polymorphism doesn't carry the same meaning from one language to the next): There's this

Well, I don't know. The "No polymorphism" section is misleading (though polymorphism doesn't carry the same meaning from one language to the next): There's this comment on higher order functions not being supported which surprises me. See the section 7.13[1] and 7.14 of the OCaml documentation. These features are availabe since ver 3.12 of the distribution. [1]: http://caml.inria.fr/pub/docs/manual-ocaml-4.01/extn.html#sec227 http://caml.inria.fr/pub/docs/manual-ocaml-4.01/extn.html#se...