OCaml, anciennement Objective Caml, est un grand langage, beaucoup trop méconnu. En outre OCaml est un langage français, ce qui mérite d'être souligné. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par Inria.

OCaml est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy.

OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet. OCaml est un langage multi paradigmes. Il permet la programmation impérative, fonctionnelle et objet. Il possède un système de types statiques forts et inférés. Son système de modules à interfaces est également très intéressant.

OCaml, disponible pour Windows, Linux et macOS, vient de sortir en version 4.08. Cette version apporte notamment de nouveaux modules, Fun, Bool, Int, Option, Result, à la bibliothèque standard, et des opérateurs de liaison (binding) let*, let+, and*, etc. qui peuvent être utilisés pour rationaliser le code monadique.

Site : ocaml.org