Définition de Caml

Le langage Caml (Categorical Abstract Machine Language) est un langage fonctionnel développé par l'INRIA (en particulier dans le cadre des projets Formel puis Cristal) à partir des années 1985. Il en existe deux dialectes : Caml-Light, surtout utilisé dans l'enseignement (classes préparatoires, grandes écoles), et Objective Caml (ou OCaml), aujourd'hui peu connu mais d'ores et déjà utilisé dans de gros projets (langage de modélisation financière LexiFi, assistant de preuve Coq, analyseur statique Astrée des Airbus, projet SLAM de Microsoft Research, optimiseur symbolique de la bibliothèque FFTW) ou des logiciels grand public (le logiciel mldonkey, le système d'exploitation Linspire, le synchroniseur de fichiers Unison). Caml est un langage multi-paradigme (il autorise la programmation impérative, la programmation fonctionnelle, la programmation par objets). Doté d'un typage statique fort et de puissants outils de filtrage, c'est un langage également très rapide.