/ka-mail/ np. m.
[LANG] Categorical Abstract Machine Language. métalangage fonctionnel (voir langage fonctionnel) mis au point à l'INRIA à partir de 1984, et dont l'objectif (aux dernières nouvelles à ma disposition - 08/95) est de remplacer Pascal (et le modèle impératif) dans l'enseignement en France. Ce langage fonctionnel est principalement utilisé de façon interprétée, comme LISP, mais il est plus souple (selon certains : les adeptes de LISP vous diront qu'ils n'aiment pas l'inférence de types) et plus lisible (moins de parenthèses). (Sur les conseils de Alain Baudier). Il existe en deux dialectes, Caml-light et Objective Caml.
 La référence au chameau, « Camel » en anglais, semble délibérée.
 http://pauillac.inria.fr/caml/index-fra.html
Articles liés à celui-ci :
Caml-light métalangage Objective Caml
Articles voisins :
calque - CALS - cam - CAM - Camel book
- Caml-light - CAN - canal - CANARIE - cancel