One of the greatest strengths of OCaml is its powerful static type system. The OCaml compiler is able to automatically detect a large class of bugs, allowing the developer to fix the problems before releasing a usable software. Programs can be trusted, without losing efficiency. Moreover, the compiler performs a lot of analysis at compile-time, sparing costly checks by the language runtime when the program runs. That is why OCaml programs are highly optimized and can even be faster than equivalent C programs, while being much safer!
OCaml industrial users include major software companies such as Microsoft or Citrix, financial companies such Jane Street Capital or SimCorp and critical software companies such as CEA or Dassault System.
Industrial users of OCaml have documented the reasons they use OCaml and how they use it. These resources can be useful for companies who consider using OCaml in their production environment.
OCaml for the Masses and Caml trading – experiences with functional programming on Wall Street exposes Jane Street's experience using OCaml to trade on Wall Street.
Using functional programming within an industrial product group: perspectives and perceptions exposes Citrix's experience on developping XenServer using OCaml.