I wonder if they really use OCaml for the reasons they state, or because it used to top the computer language benchmark game back when the firm was founded and now it's too expensive to rewrite everything.