OCaml, anciennement connu sous le nom d
'Objective Caml, 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 et leurs collaborateurs en
1996. Ce langage, de la famille des langages
ML, est un projet
open source dirigé et maintenu essentiellement par l'
Inria.