Caml Caml (Categorical Abstract Machine Language) est un langage de programmation généraliste conçu pour la sécurité et la fiabilité des programmes. Il se prête à des styles de programmation fonctionnelle, impérative et orientée objet. C'est de plus un langage fortement typé.Le Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'INRIA. Il existe deux implémentations de Caml