OCaml

OCaml is a general-purpose, multi-paradigm programming language created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others. The language extends the Caml dialect of ML with object-oriented features and provides a rich set of libraries. OCaml is openly developed by the community and is used by companies that require speed and code safety when writing mission critical software.