Caml (originally an acronym for Categorical Abstract Machine Language) is a dialect of the ML programming language family, developed at INRIA and formerly at ENS. Like all descendants of ML, Caml is statically typed, strictly evaluated, and uses automatic memory management. The first Caml implementation in Lisp was nicknamed "Heavy CAML" because of its memory and CPU requirements relative to its successor Caml Light which was implemented in C by Xavier Leroy and Damien Doligez.

PropertyValue
dbpprop:abstract
  • Caml (originally an acronym for Categorical Abstract Machine Language) is a dialect of the ML programming language family, developed at INRIA and formerly at ENS. Like all descendants of ML, Caml is statically typed, strictly evaluated, and uses automatic memory management. The first Caml implementation in Lisp was nicknamed "Heavy CAML" because of its memory and CPU requirements relative to its successor Caml Light which was implemented in C by Xavier Leroy and Damien Doligez. In addition to a complete rewriting, CAML Special Light added a powerful (applicative) module system to the core language. Currently, the main implementation of Caml is Objective Caml, which adds many new features to the language including an object layer.
  • Caml (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 objet. C'est de plus un langage fortement typé. Le Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'INRIA. Il existe deux implémentations de Caml : Objective Caml est l'implémentation la plus avancée, Caml Light est une implémentation légère, souvent utilisée dans les milieux académiques. Le Caml est, dans sa version Caml Light, enseigné en option informatique dans la plupart des classes préparatoires aux grandes écoles, en filière MPSI / MP. Le style fonctionnel le rend relativement proche des mathématiques, notamment grâce à la récursivité, le typage fort rend son usage sûr (mais moins souple pour le programmeur) et la gratuité de sa distribution ne nuit pas au contribuable (bien que l'INRIA soit un organisme public). De plus, la particularité des langages ML, à savoir la reconnaissance de motifs (pattern matching), permet une syntaxe au cas par cas claire et lisible dans les fonctions récursives. Elle est aussi utilisée dans le rattrapage des exceptions, en particulier pour la gestion des erreurs.
  • CAML (Categorical Abstract Machine Language) è una versione di ML sviluppata in Francia presso l'INRIA e l'École Normale Supérieure (ENS). La sua prima implementazione, in Lisp, è stata soprannominata Heavy CAML per la richiesta di ingenti risorse computazionali in confronto al suo successore CAML Light, implementato in C da Xavier Leroy and Damien Doligez. Oltre alla completa riscrittura, CAML Light aggiunge al precedente nucleo del linguaggio un potente sistema di modularizzazione. Dal 1995, è stata aggiunto anche il trattamento degli oggetti e da allora il nome del linguaggio è mutato in Objective Caml.
  • Caml, Categorical Abstract Machine Language, er et programmeringsspråk i ML-familien. Det er et sterkt typet funksjonelt programmeringsspråk med fokus på typeinferens. En populær implementasjon av Caml er Objective Caml. Caml ble utviklet av G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny og andre fra både INRIA og ENS.
  • Caml, acrónimo de "Categorical Abstract MetaLanguage", é um dialeto da família de linguagens de programação do ML, desenvolvida pelo INRIA e pela École Normale Supérieure. Como todos os descendentes do ML, Caml é uma linguagem de tipagem estática, de avaliação estrita (strict evaluation) e usa gerenciamento automático de memória. A primeira implementação Caml, feita em Lisp, foi apelidada de "Heavy CAML" (CAML pesado) por causa dos requisitos de CPU e memória excessivos se comparados com seu sucessor, o Caml light (Caml leve), que foi implementado em linguagem C por Xavier Leroy e Damien Doligez. Além de ser completamente reescrito, o CAML special Light acrescentou um poderoso sistema de módulos na base da linguagem. Atualmente a principal implementação do Caml é o Objective Caml,que acrescenta várias novas funcionalidades a linguagem. incluindo uma camada de orientação a objetos. Caml language family official website
  • Caml veya Objective Caml, fonksiyonel, emirsel ve nesne yönelimli bir programlama dilidir. Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumu; INRIA tarafından geliştirilmiştir.
  • Caml (скорочення від англ. Categorical Abstract Machine Language) — діалект мови програмування ML, розроблений в INRIA та ENS. Як і всі діалекти ML, Caml є мовою програмування зі статичною типізацією, строгим порядком обчислень, та використовує автоматичне керування пам'ятю. Перша реалізація Caml була здійснена на мові програмування Лісп, та мала неформальну назву «Важкий CAML» через порівняно високі вимоги до кількості наявних ресурсів у порівнянні з наступником — мовою програмування Caml Light, реалізовану на мові програмування Сі Ксавієром Лероєм та Дамієном Доліґезом. На поточний момент, найпоширенішою реалізацією Caml є Objective Caml, який додає багато нових можливостей до початкового варіанту мови, включаючи і механізми об'єктно-орієнтованого програмування.
dbpprop:designer
  • Gérard Huet, Guy Cousineau, Ascánder Suárez, Pierre Weis, Michel Mauny (Heavy Caml), Xavier Leroy (Caml Light, Objective Caml)
dbpprop:hasPhotoCollection
dbpprop:implementations
dbpprop:influenced
dbpprop:influencedBy
dbpprop:logo
dbpprop:name
  • Caml
dbpprop:otheruses4Property
  • CAML
  • the markup language
  • the programming language
dbpprop:paradigm
dbpprop:reference
dbpprop:typing
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:year
  • 1985 (xsd:integer)
rdf:type
rdfs:comment
  • Caml (originally an acronym for Categorical Abstract Machine Language) is a dialect of the ML programming language family, developed at INRIA and formerly at ENS. Like all descendants of ML, Caml is statically typed, strictly evaluated, and uses automatic memory management. The first Caml implementation in Lisp was nicknamed "Heavy CAML" because of its memory and CPU requirements relative to its successor Caml Light which was implemented in C by Xavier Leroy and Damien Doligez.
  • Caml (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 objet. C'est de plus un langage fortement typé. Le Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'INRIA.
  • CAML (Categorical Abstract Machine Language) è una versione di ML sviluppata in Francia presso l'INRIA e l'École Normale Supérieure (ENS). La sua prima implementazione, in Lisp, è stata soprannominata Heavy CAML per la richiesta di ingenti risorse computazionali in confronto al suo successore CAML Light, implementato in C da Xavier Leroy and Damien Doligez. Oltre alla completa riscrittura, CAML Light aggiunge al precedente nucleo del linguaggio un potente sistema di modularizzazione.
  • Caml, Categorical Abstract Machine Language, er et programmeringsspråk i ML-familien. Det er et sterkt typet funksjonelt programmeringsspråk med fokus på typeinferens. En populær implementasjon av Caml er Objective Caml. Caml ble utviklet av G. Huet, G. Cousineau, Ascander Suarez, Pierre Weis, Michel Mauny og andre fra både INRIA og ENS.
  • Caml, acrónimo de "Categorical Abstract MetaLanguage", é um dialeto da família de linguagens de programação do ML, desenvolvida pelo INRIA e pela École Normale Supérieure. Como todos os descendentes do ML, Caml é uma linguagem de tipagem estática, de avaliação estrita (strict evaluation) e usa gerenciamento automático de memória.
  • Caml veya Objective Caml, fonksiyonel, emirsel ve nesne yönelimli bir programlama dilidir. Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumu; INRIA tarafından geliştirilmiştir.
  • Caml (скорочення від англ. Categorical Abstract Machine Language) — діалект мови програмування ML, розроблений в INRIA та ENS. Як і всі діалекти ML, Caml є мовою програмування зі статичною типізацією, строгим порядком обчислень, та використовує автоматичне керування пам'ятю.
rdfs:label
  • Caml
  • Caml
  • CAML
  • Caml
  • Caml
  • Caml
  • Categorical Abstract Machine Language
owl:sameAs
skos:subject
foaf:homepage
foaf:page
is dbpprop:disambiguates of
is dbpprop:influenced of
is dbpprop:redirect of
is owl:sameAs of