This HTML5 document contains 87 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n17http://www.cadichonne.net/
n10http://www.france-ioi.org/algo/
dbpedia-eshttp://es.dbpedia.org/resource/
n31http://caml.inria.fr/
n13http://g.co/kg/m/
dbpedia-trhttp://tr.dbpedia.org/resource/
n18http://pauillac.inria.fr/~quercia/cdrom/cours/
dbpedia-ruhttp://ru.dbpedia.org/resource/
schemahttp://schema.org/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-nnhttp://nn.dbpedia.org/resource/
n22http://www.pps.jussieu.fr/~cousinea/Caml/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n6http://fr.dbpedia.org/resource/Modèle:
dbpedia-fihttp://fi.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-azhttp://az.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n29http://ma-graph.org/entity/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Caml
rdf:type
wikidata:Q9143 wikidata:Q315 schema:Language owl:Thing dbo:ProgrammingLanguage dbo:Language
rdfs:label
Caml Caml Caml CAML Caml Categorical Abstract Machine Language
rdfs:comment
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 objet. C'est de plus un langage fortement typé.
owl:sameAs
dbpedia-uk:Categorical_Abstract_Machine_Language dbpedia-no:Caml n13:076kx1 dbpedia-pt:Caml dbpedia-fi:Caml dbr:Caml dbpedia-es:Caml dbpedia-tr:Caml dbpedia-it:CAML dbpedia-zh:Caml dbpedia-ru:Caml n29:2780710800 wikidata:Q1118153 dbpedia-nn:Caml dbpedia-az:Caml
dbo:wikiPageID
141683
dbo:wikiPageRevisionID
189885470
dbo:wikiPageWikiLink
dbpedia-fr:OCaml dbpedia-fr:Consortium dbpedia-fr:Macro-définition dbpedia-fr:Inférence_de_types dbpedia-fr:Java_(langage) category-fr:Théorie_des_types dbpedia-fr:Lex_(logiciel) category-fr:Invention_française dbpedia-fr:Analyse_syntaxique dbpedia-fr:Système_de_gestion_d'exceptions dbpedia-fr:Variable_libre dbpedia-fr:Analyse_lexicale dbpedia-fr:Généricité dbpedia-fr:Caml_Light dbpedia-fr:Typage_fort category-fr:ML dbpedia-fr:Guy_Cousineau dbpedia-fr:Extensible_Markup_Language dbpedia-fr:Langage_de_programmation dbpedia-fr:Duck_typing dbpedia-fr:Surcharge_de_fonction dbpedia-fr:Université_Paris-Diderot dbpedia-fr:ML_(langage) dbpedia-fr:CDuce dbpedia-fr:Haskell dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Expression_régulière dbpedia-fr:Programmation_impérative dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique dbpedia-fr:Module_(programmation) dbpedia-fr:Programmation_orientée_objet dbpedia-fr:Programmation_orientée_aspect dbpedia-fr:Métaprogrammation dbpedia-fr:Yacc_(logiciel) dbpedia-fr:Filtrage_par_motif dbpedia-fr:Algorithme_récursif
dbo:wikiPageExternalLink
n10:chapters.php n17:CAML.htm n18:index.html%23tp-caml n22:caml_history.html n31:
dbo:wikiPageLength
8319
dct:subject
category-fr:Théorie_des_types category-fr:Invention_française category-fr:ML
prop-fr:wikiPageUsesTemplate
n6:, n6:Portail n6:Article_connexe n6:Références n6:En n6:Fr n6:Officiel
prov:wasDerivedFrom
wikipedia-fr:Caml?oldid=189885470&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Caml
dbo:abstract
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 objet. C'est de plus un langage fortement typé. Le style fonctionnel rapproche le langage Caml de l’écriture mathématique, notamment grâce à la récursivité et au filtrage par motif (pattern matching). Ce dernier, particularité de la famille ML, offre une syntaxe au cas par cas claire et lisible, et est aussi utilisé dans le rattrapage des exceptions, en particulier pour la gestion des erreurs. Le typage fort rend l’usage sûr mais moins souple pour le programmeur. Enfin, Caml pratique l’inférence de types pour déterminer automatiquement le type des variables et expressions et permet la généricité. Descendant du langage ML, le Caml est développé depuis 1985 par les équipes Formel puis Cristal de l'Inria et l'a notamment été pendant cinq ans par le professeur Guy Cousineau (université Paris Diderot). La variante active de Caml est OCaml. Par rapport à l'ancienne variante Caml Light, aujourd'hui obsolète, elle ajoute de nombreuses fonctionnalités, comme un système de modules beaucoup plus poussé et le support de la programmation orientée objet (reposant sur le duck typing) dont elle tire son nom.
dbo:developer
dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique
dbo:designer
dbpedia-fr:Gérard_Huet