Caml est un langage de programmation fonctionnel créé par Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy et Pierre Weis en 1996. Caml est un dialecte de ML et possède de nombreuses caractéristiques communes avec ML, comme un système de types expressif, l'inférence de types, le garbage collection et la gestion des exceptions.
Caml est un langage de programmation impératif avec une couche orientée objet. Il est également possible d'écrire des programmes dans un style purement fonctionnel.
Le système de type de Caml permet un ensemble riche d'annotations de type, y compris l'inférence de type, ce qui signifie que le programmeur n'a pas besoin d'annoter explicitement les types de variables et de fonctions. Cela permet d'obtenir un code plus concis et plus lisible.
Caml dispose également d'un riche ensemble de bibliothèques et d'outils, ce qui en fait une plate-forme très attrayante pour le développement.