07 Juillet 2008    

Le dictionnaire de Guide-Informatique

CaML

Categorical Abstract Machine Language

Langage de programmation de la famille ML développé par l'INRIA depuis 1985. Il est utilisé dans l’enseignement en Université pour ses qualités pédagogiques. Une de ses particularités est de déduire automatiquement le type des objets manipulés (c’est l’inférence de type), sans nécessiter de classiques déclarations de variable. Il existe deux variantes de CaML: CaML Light et OCaML.

Pour aller plus loin

Recherche         
fermer