My guess is that the firm in question is Jane Street? They have been using OCaml for a while now.
The biggest benefit is the type safety. Basically, when the program compiles, you can ensure that you won't have any type conversion errors or the like, which can occur in dynamic languages or...