> it's both very fast (C++-class fast, faster than Java on > certain kinds of code, if well used) and apparently quite safer Last I tried OCaml, "well used" in context of performance would mean avoiding many useful abstractions. One thing I remember is that using functors always has run time cost and I don't see why it should.