/ka-mail/ np. m.
[LANG] Categorical Abstract Machine Language. métalangagefonctionnel (voir langagefonctionnel) 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èleimpératif) dans l'enseignement en France. Ce langagefonctionnel 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-lightmétalangage Objective Caml
Articles voisins :
calque - CALS - cam - CAM - Camel book
- Caml-light - CAN - canal - CANARIE - cancel