Attributes | Values |
---|
rdfs:label
| - Tipo de dato algebraico (es)
- Tipus de dades algebraic (ca)
- Type algébrique de données (fr)
- Алгебраический тип данных (ru)
- Алгебричний тип даних (uk)
- 代数的データ型 (ja)
|
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)
|
rdfs:seeAlso
| |
sameAs
| |
prop-fr:cetteFonct...ntaxhighlightLang
| - "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:toujoursEn...ntaxhighlightLang
| - "OCaml">
type dict_entry = {
key : string ;
value : int ;
}
let entry = { key = "clé" ; value = 37 }
let get_value entry = entry.value (fr)
|
Wikipage page ID
| |
Wikipage revision ID
| |
dbo:wikiPageWikiLink
| |
Link from a Wikipage to an external page
| |
page length (characters) of wiki page
| |
dct:subject
| |
prop-fr:wikiPageUsesTemplate
| |
prov:wasDerivedFrom
| |
prop-fr:nom
| - 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)
|
prop-fr:groupe
| |
foaf:isPrimaryTopicOf
| |
has 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)
|
is dbo:wikiPageWikiLink
of | |