Caml

Caml
● /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 é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.

Dictionnaire d'informatique francophone. 2013.

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Caml — (prononcé camel, signifie Categorical Abstract Machine Language) est un langage de programmation généraliste conçu pour la sécurité et la fiabilité des programmes. Il se prête à des styles de programmation fonctionnelle, impérative et orientée… …   Wikipédia en Français

  • Caml — Семантика: Объектно ориентированное Появился в: 1985 Автор(ы): INRIA Релиз: 3.11.2 (20.01.2010) …   Википедия

  • CAML — may mean:* Caml, a dialect of the ML programming language * Collaborative Application Markup Language, an XML based markup language used with the Microsoft SharePoint collaborative portal applicationSee also: * Camel (disambiguation) …   Wikipedia

  • Caml — Infobox programming language name = Caml paradigm = multi paradigm: functional, imperative; object oriented in OCaml year = 1985 typing = strong, static designer = Gérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy… …   Wikipedia

  • Caml — Meta Language (ML) beschreibt eine Familie funktionaler Programmiersprachen mit statischer Typisierung, Polymorphie, automatischer Speicherbereinigung und im Allgemeinen strenger Auswertung. ML ist allerdings keine rein funktionale Sprache wie… …   Deutsch Wikipedia

  • Caml Light — is a lightweight and portable implementation of the Caml programming language, a dialect of the ML programming language family.It is implemented in C and compiles programs to bytecode.Caml Light is not actively developed, having been replaced by… …   Wikipedia

  • Caml Light — est une implémentation légère du langage de programmation Caml développé par l INRIA. Elle est stable et facilement portable. Cette version de Caml permet une programmation fonctionnelle et impérative. Caml Light ne permet pas la programmation… …   Wikipédia en Français

  • Caml Lights — may refer to:* Camel Lights, a brand of cigarette. See Camel (cigarette). * Caml Light, a functional programming language …   Wikipedia

  • Caml-light — ● np. m. ►LANG Version légère de Caml, essentiellement destinée à l enseignement, mais qui n est plus développée …   Dictionnaire d'informatique francophone

  • CAML — cystic adenomatoid malformation of the lung …   Medical dictionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”