/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
