Les langages

Categorical Abstract Machine Language. métalangage fonctionnel (voir langage fonctionnel) mis au point à l'INRIA à partir de 1984, et dont l'objectif était de remplacer Pascal (et le modèle impératif) dans l'enseignement en France, ce qui a été fait. L'objectif est désormais d'étendre son utilisation dans l'industrie. Ce langage fonctionnel est utilisé de façon compilée, ou 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 en a existé deux dialectes, Caml-light et Objective Caml . Seul Objective Caml est toujours développé (définition précisée par Diego Olivier Fernandez Pons). La référence au chameau, « Camel » en anglais, semble délibérée.

http://www.caml.org Site officiel.

http://www.ocaml.org Site officieux.

(18-06-2003).