OCaml

OCaml est un langage de programmation issu de Caml, créé en 1996 par Xavier Leroy et Damien Doligez et développé à l'Inria. Il combine programmation fonctionnelle, impérative, orientée objet et modulaire, avec un typage statique et une inférence de types. Il est souvent utilisé pour écrire des compilateurs, des outils d'analyse de code et des logiciels où la fiabilité est importante.