Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres.

Property Value
dbo:abstract
  • Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. (fr)
  • Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1014977 (xsd:integer)
dbo:wikiPageLength
  • 14864 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 185006733 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:cetteFonctionnalitéSeTraduitEnLangageCParLeMot‐clé<syntaxhighlightLang
  • "C"> typedef enum { COEUR, CARREAU, TREFLE, PIQUE } couleur ; char* nom_de_la_couleur { switch { case COEUR : return "♥ cœur" ; case CARREAU : return "♦ carreau" ; case TREFLE : return "♣ trèfle" ; case PIQUE : return "♠ pique" ; } } (fr)
  • "C"> typedef enum { COEUR, CARREAU, TREFLE, PIQUE } couleur ; char* nom_de_la_couleur { switch { case COEUR : return "♥ cœur" ; case CARREAU : return "♦ carreau" ; case TREFLE : return "♣ trèfle" ; case PIQUE : return "♠ pique" ; } } (fr)
prop-fr:groupe
  • note (fr)
  • note (fr)
prop-fr:nom
  • Exemple : type énuméré en langage C (fr)
  • Exemple : structure en OCaml (fr)
  • Exemple : type énuméré en langage C (fr)
  • Exemple : structure en OCaml (fr)
prop-fr:texte
  • C’est‐à‐dire un type formé en combinant d’autres types plus simples. (fr)
  • De structurel, le typage devient alors nominal. Dans le premier cas, l’expression d’un ‐uplet permet de déduire entièrement sa structure et déclarer le type est donc superflu. Dans le second cas, au contraire, l’expression ne suffit pas , et il faut donc déclarer les structures utilisées afin d’associer chaque nom de membre à une structure. (fr)
  • C’est‐à‐dire un type formé en combinant d’autres types plus simples. (fr)
  • De structurel, le typage devient alors nominal. Dans le premier cas, l’expression d’un ‐uplet permet de déduire entièrement sa structure et déclarer le type est donc superflu. Dans le second cas, au contraire, l’expression ne suffit pas , et il faut donc déclarer les structures utilisées afin d’associer chaque nom de membre à une structure. (fr)
prop-fr:toujoursEnOcaml,L’exemplePrécédentS’adapteAinsi<syntaxhighlightLang
  • "OCaml"> type dict_entry = { key : string ; value : int ; } let entry = { key = "clé" ; value = 37 } let get_value entry = entry.value (fr)
  • "OCaml"> type dict_entry = { key : string ; value : int ; } let entry = { key = "clé" ; value = 37 } let get_value entry = entry.value (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. (fr)
  • Un type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. (fr)
rdfs:label
  • Tipo de dato algebraico (es)
  • Tipus de dades algebraic (ca)
  • Type algébrique de données (fr)
  • Алгебраический тип данных (ru)
  • Алгебричний тип даних (uk)
  • 代数的データ型 (ja)
  • Tipo de dato algebraico (es)
  • Tipus de dades algebraic (ca)
  • Type algébrique de données (fr)
  • Алгебраический тип данных (ru)
  • Алгебричний тип даних (uk)
  • 代数的データ型 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of