This HTML5 document contains 65 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://g.co/kg/m/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n11http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n13http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Type_récursif
rdfs:label
再帰データ型 Рекурсивний тип даних Type récursif
rdfs:comment
En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'applique naturellement dans l'étude des listes et des arbres.
owl:sameAs
n13:33288326 dbpedia-zh:递归数据类型 dbpedia-pt:Tipo_recursivo wikidata:Q3098441 n17:06xj58 dbpedia-uk:Рекурсивний_тип_даних dbpedia-ja:再帰データ型 dbr:Recursive_data_type
dbo:wikiPageID
1027049
dbo:wikiPageRevisionID
186873755
dbo:wikiPageWikiLink
dbpedia-fr:Inférence_de_types dbpedia-fr:Système_d'exploitation dbpedia-fr:Récursivité dbpedia-fr:Curryfication dbpedia-fr:Classe_(informatique) dbpedia-fr:Type_algébrique_de_données dbpedia-fr:Programmation_événementielle dbpedia-fr:C_(langage) dbpedia-fr:Coinduction dbpedia-fr:Polymorphisme_(informatique) dbpedia-fr:Programmation_orientée_objet dbpedia-fr:Récurrence dbpedia-fr:Point_fixe dbpedia-fr:OCaml dbpedia-fr:Dualité_(mathématiques) dbpedia-fr:Haskell category-fr:Théorie_des_types dbpedia-fr:Relation_bien_fondée dbpedia-fr:Induction_structurelle dbpedia-fr:Étoile_de_Kleene dbpedia-fr:Liste_(informatique) dbpedia-fr:Théorie_des_types dbpedia-fr:Lambda-calcul dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Programmation_informatique category-fr:Programmation_informatique dbpedia-fr:Type_vide dbpedia-fr:Type_(informatique) dbpedia-fr:Type_unité dbpedia-fr:Arbre_(théorie_des_graphes) dbpedia-fr:Évaluation_paresseuse dbpedia-fr:Filtrage_par_motif dbpedia-fr:Isomorphisme dbpedia-fr:Alias_de_type dbpedia-fr:Turing-complet dbpedia-fr:Axiomes_de_Peano
dbo:wikiPageLength
22601
dct:subject
category-fr:Programmation_informatique category-fr:Théorie_des_types
prop-fr:wikiPageUsesTemplate
n11:Note n11:Portail n11:Références n11:Lien n11:FOLDOC n11:Article_détaillé n11:, n11:Palette
prov:wasDerivedFrom
wikipedia-fr:Type_récursif?oldid=186873755&ns=0
prop-fr:groupe
C
foaf:isPrimaryTopicOf
wikipedia-fr:Type_récursif
dbo:abstract
En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive. Cela permet entre autres des structures de données qui contiennent des sous‐structures du même type. Cette notion s'applique naturellement dans l'étude des listes et des arbres.