That's a self fulfilling prophecy. Of course OCaml isn't used there... Because it can't hit the performance target.
Exactly, I mainly work on a C++ software and for my PhD rewrote all the core algorithms in OCaml... Boy that was slow, I'm never ever touching that language again for anything that needs peak performance.