OCaml

OCaml (Objective Caml) is a programming language. It supports functional, imperative and object-oriented styles and focuses on expressiveness and safety. OCaml extends the core Caml language with object-oriented programming constructs.
Initated by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez