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.
