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

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

Namespace Prefixes

PrefixIRI
dbpedia-dahttp://da.dbpedia.org/resource/
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-nohttp://no.dbpedia.org/resource/
n56https://www.zhihu.com/topic/
dbpedia-fihttp://fi.dbpedia.org/resource/
n24http://ocaml.org/
dbrhttp://dbpedia.org/resource/
n10http://fr.dbpedia.org/resource/Modèle:
dbpedia-arhttp://ar.dbpedia.org/resource/
dbpedia-mshttp://ms.dbpedia.org/resource/
dbpedia-hehttp://he.dbpedia.org/resource/
n36http://viaf.org/viaf/
n31http://ml.dbpedia.org/resource/
schemahttp://schema.org/
n9http://commons.wikimedia.org/wiki/Special:FilePath/
n37http://
dbpedia-frhttp://fr.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n34http://g.co/kg/m/
n32https://d-nb.info/gnd/
dbpedia-azhttp://az.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n21https://id.loc.gov/authorities/names/
n51http://tg.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
n23https://packages.debian.org/stable/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n43http://caml.inria.fr/pub/docs/manual-ocaml/
n54https://www.quora.com/topic/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-slhttp://sl.dbpedia.org/resource/
n44https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-nnhttp://nn.dbpedia.org/resource/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-simplehttp://simple.dbpedia.org/resource/
n45https://livedata.bibsys.no/authority/
dbpedia-zhhttp://zh.dbpedia.org/resource/
n42http://caml.inria.fr/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-glhttp://gl.dbpedia.org/resource/
n15https://ocaml.org/learn/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-kahttp://ka.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:OCaml
rdf:type
wikidata:Q315 dbo:ProgrammingLanguage schema:Language owl:Thing dbo:Language wikidata:Q9143
rdfs:label
OCaml OCaml Objective Caml OCaml OCaml OCaml
rdfs:comment
OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, , , et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml.
rdfs:seeAlso
n23:ocaml n44:OCaml n54:OCaml-programming-language n56:19673704
owl:sameAs
dbpedia-zh:OCaml wikidata:Q212587 dbpedia-fi:OCaml dbpedia-ko:OCaml dbpedia-ms:OCaml dbpedia-it:OCaml dbpedia-no:OCaml dbr:OCaml dbpedia-he:OCaml dbpedia-nl:Ocaml n21:sh2007000473 dbpedia-pt:OCaml dbpedia-simple:OCaml dbpedia-ca:OCaml dbpedia-sl:Ocaml dbpedia-ru:OCaml n31:ഒകാമൽ n32:7578649-7 dbpedia-el:OCaml n34:09wmx dbpedia-nn:OCaml n36:8149106282068492326 dbpedia-pl:OCaml dbpedia-uk:Objective_Caml n45:10016856 dbpedia-ar:لغة_كامل_الموضوعية dbpedia-ja:OCaml dbpedia-az:OCaml dbpedia-vi:OCaml n51:OCaml dbpedia-gl:Ocaml dbpedia-fa:اکمل dbpedia-ka:ობიექტური_კამლი dbpedia-da:OCaml dbpedia-de:Objective_CAML dbpedia-tr:OCaml dbpedia-cs:OCaml
dbo:wikiPageID
25478
dbo:wikiPageRevisionID
189503555
dbo:wikiPageWikiLink
dbpedia-fr:F_sharp dbpedia-fr:Système_embarqué dbpedia-fr:PowerPC dbpedia-fr:Récursion_terminale dbpedia-fr:Langage_de_programmation dbpedia-fr:Xavier_Leroy dbpedia-fr:C++ dbpedia-fr:Analyse_syntaxique dbpedia-fr:Table_de_hachage dbpedia-fr:Bibliothèque_logicielle dbpedia-fr:Machine_abstraite dbpedia-fr:Pilote_informatique dbpedia-fr:Préprocesseur dbpedia-fr:Paradigme_(programmation) dbpedia-fr:Récursivité dbpedia-fr:Multiparadigme dbpedia-fr:Pascal_(langage) dbpedia-fr:IA-64 dbpedia-fr:Université_Paris-Diderot dbpedia-fr:Filtrage_par_motif dbpedia-fr:Scala_(langage) dbpedia-fr:Damien_Doligez dbpedia-fr:DEC_Alpha dbpedia-fr:Fortran dbpedia-fr:Geneweb dbpedia-fr:1995_en_informatique dbpedia-fr:Berkeley_Software_Distribution dbpedia-fr:Architecture_MIPS dbpedia-fr:Webradio dbpedia-fr:Liquidsoap dbpedia-fr:Compilateur dbpedia-fr:AMD64 dbpedia-fr:Génération_de_code_natif dbpedia-fr:Backend dbpedia-fr:Jane_Street dbpedia-fr:Années_1980 dbpedia-fr:Unison_(logiciel) dbpedia-fr:Architecture_SPARC dbpedia-fr:Classe_préparatoire_aux_grandes_écoles dbpedia-fr:Coq_(logiciel) dbpedia-fr:Didier_Rémy dbpedia-fr:Open_source dbpedia-fr:Héritage_(informatique) dbpedia-fr:Interprète_(informatique) dbpedia-fr:Logiciel_multiplateforme dbpedia-fr:Inférence_de_types dbpedia-fr:X86 dbpedia-fr:Typage_fort dbpedia-fr:C_(langage) dbpedia-fr:Typage_statique dbpedia-fr:Généricité dbpedia-fr:Lustre_(langage) dbpedia-fr:MediaWiki dbpedia-fr:Licence_publique_générale_limitée_GNU dbpedia-fr:Microsoft_Windows dbpedia-fr:1996_en_informatique dbpedia-fr:Module_(programmation) dbpedia-fr:Fonction_d'ordre_supérieur dbpedia-fr:Facebook_Messenger dbpedia-fr:Suite_de_Fibonacci dbpedia-fr:Opa_(logiciel) dbpedia-fr:2000_en_informatique dbpedia-fr:Programmation_impérative dbpedia-fr:Rust_(langage) dbpedia-fr:C_sharp dbpedia-fr:Programmation_modulaire dbpedia-fr:Abstraction_(informatique) dbpedia-fr:Type_algébrique_de_données dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Robin_Milner dbpedia-fr:Visual_Basic dbpedia-fr:Secteur_aéronautique_et_spatial dbpedia-fr:Liste_(informatique) dbpedia-fr:KDE dbpedia-fr:Programmation_orientée_objet dbpedia-fr:Type_récursif dbpedia-fr:Algorithme_récursif dbpedia-fr:Métaprogrammation dbpedia-fr:Factorielle dbpedia-fr:Ramasse-miettes_(informatique) dbpedia-fr:Mémoïsation dbpedia-fr:Linux dbpedia-fr:Algorithmique dbpedia-fr:MacOS dbpedia-fr:Microsoft dbpedia-fr:Arbre_enraciné dbpedia-fr:Polymorphisme_(informatique) dbpedia-fr:Mémoire_(informatique) dbpedia-fr:Ruby dbpedia-fr:1984_en_informatique dbpedia-fr:Analyse_Statique_de_logiciels_Temps-RÉel_Embarqués dbpedia-fr:Caml_Light dbpedia-fr:Fermeture_(informatique) dbpedia-fr:Caml dbpedia-fr:Jérôme_Vouillon dbpedia-fr:Xen dbpedia-fr:Débogueur dbpedia-fr:MLDonkey dbpedia-fr:StrongARM dbpedia-fr:1990_en_informatique dbpedia-fr:Fonction_de_hachage dbpedia-fr:Airbus_A380 dbpedia-fr:ML_(langage) dbpedia-fr:HPPA dbpedia-fr:Airbus_Commercial_Aircraft dbpedia-fr:Portabilité_(informatique) dbpedia-fr:1987_en_informatique dbpedia-fr:Système_structurel_de_types dbpedia-fr:Code_natif dbpedia-fr:Analyse_lexicale dbpedia-fr:Mise_en_œuvre dbpedia-fr:Haskell dbpedia-fr:Structure_de_données dbpedia-fr:Python_(langage) dbpedia-fr:Ocsigen dbpedia-fr:Bytecode dbpedia-fr:Ascander_Suarez category-fr:ML dbpedia-fr:Guy_Cousineau dbpedia-fr:Java_(langage) dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique
dbo:wikiPageExternalLink
n15:books.html%23Books-in-French n24:index.fr.html n37:ocaml.org n42:index.fr.html n43:index.html
dbo:wikiPageLength
47469
dct:subject
category-fr:ML
foaf:homepage
n37:ocaml.org
prop-fr:wikiPageUsesTemplate
n10:Infobox_Langage_de_programmation n10:Langue n10:Date n10:Confusion n10:Blanc n10:En_anglais n10:Références n10:Refnec n10:Quand n10:Portail n10:Autres_projets n10:, n10:Référence_insuffisante n10:Palette
prov:wasDerivedFrom
wikipedia-fr:OCaml?oldid=189503555&ns=0
foaf:depiction
n9:OCaml_Logo.svg
foaf:page
n37:ocaml.org
prop-fr:commons
Category:OCaml
prop-fr:couleurBoîte
F28B02
prop-fr:développeur
dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique
prop-fr:siteWeb
n37:ocaml.org
prop-fr:b
OCaml
prop-fr:dateDeDernièreVersion
2021-02-24
prop-fr:dateDePremièreVersion
1987
prop-fr:dernièreVersion
4.12
prop-fr:licence
LGPL 2.1
prop-fr:logo
OCaml Logo.svg
prop-fr:wikiversity
OCaml
prop-fr:aInfluencé
dbpedia-fr:Opa_(logiciel) dbpedia-fr:F_sharp dbpedia-fr:Scala_(langage) dbpedia-fr:Rust_(langage)
prop-fr:influencéPar
dbpedia-fr:ML_(langage)
prop-fr:paradigme
dbpedia-fr:Multiparadigme dbpedia-fr:Programmation_orientée_objet dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Programmation_impérative
prop-fr:systèmeD'exploitation
dbpedia-fr:Logiciel_multiplateforme
prop-fr:typage
dbpedia-fr:Typage_fort dbpedia-fr:Typage_statique
dbo:thumbnail
n9:OCaml_Logo.svg?width=300
prop-fr:dialectes
JoCaml, Fresh OCaml, GCaml, MetaOCaml, OCamlDuce, OcamlP3L
foaf:isPrimaryTopicOf
wikipedia-fr:OCaml
dbo:namedAfter
dbpedia-fr:Caml
dbo:abstract
OCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, , , et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet. L'acronyme CAML provient de Categorical Abstract Machine Language, un modèle de machine abstraite qui n'est cependant plus utilisé dans les versions récentes de OCaml. Portable et performant, OCaml est utilisé dans des projets aussi divers que le logiciel de synchronisation de fichiers Unison, l'assistant de preuves formelles Coq ou la version Web de Facebook Messenger. Les facilités de traitement symbolique du langage permettent le développement d'outils de vérification statique, comme le projet SLAM pour des pilotes Windows écrits par Microsoft, ou ASTRÉE pour certains systèmes embarqués des Airbus A380.
dbo:developer
dbpedia-fr:Institut_national_de_recherche_en_informatique_et_en_automatique
dbo:influenced
dbpedia-fr:Rust_(langage) dbpedia-fr:Scala_(langage) dbpedia-fr:F_sharp dbpedia-fr:Opa_(logiciel)
dbo:influencedBy
dbpedia-fr:ML_(langage)
dbo:license
dbpedia-fr:Licence_publique_générale_limitée_GNU dbpedia-fr:Q_Public_License wikidata:Q18534390
dbo:designer
dbpedia-fr:Xavier_Leroy wikidata:Q5212421