Type-driven Programming

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!

Industrial Users

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.

Aesthetic-Integration_logo3_140x bloomberg cea
citrix dassault-aviation dassault
esterel jane-street lexifi
microsoft ocp-carre simcorp_corporate_logo_blue_black_rgb

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.

  1. 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.
  2. Using functional programming within an industrial product group: perspectives and perceptions exposes Citrix’s experience on developping XenServer using OCaml.

Online resources about OCaml

  1. Discover Try Online
  2. Learn with OCaml Tutorials
  3. Share with the OCaml Community