| 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
| |
| dbo:wikiPageLength
|
- 14864 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| 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
| |
| 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 | |
