OCaml

Programming language researchers have long considered statically-typed functional programming languages such as OCaml, SML, and Haskell to be among the most effective programming tools available. However, these languages have only had real-world traction in niche areas such as compiler development and formal methods.

Jane Street is the exception. In a fiercely competitive space, we decided that there was no substitute for using the most powerful tools available, and have become perhaps the largest commercial user of OCaml. As a result Jane Street has become a magnet for functional programmers everywhere, resulting in one of the best development teams in the world.

Outside of our own use, Jane Street is a major supporter of the OCaml community, funding the OCaml Summer Project, writing a technical OCaml blog, and releasing some open source software of our own.

You can learn more about Jane Street's use of OCaml at our blog. You can also look at the slides from a talk given at CUFP, and articles we've written for JFP and the Monad Reader here.

Jane Street has held invited talks by numerous important figures in functional programming, including:

• Don Syme, Microsoft Research
• Alain Frisch, INRIA
• Benjamin Pierce, University of Pennsylvania
• Philip Wadler, University of Edinburgh
• Olin Shivers, Northeastern University