type abstrait
Regardez d'autres dictionnaires:
Type abstrait — En génie logiciel, un type abstrait est une spécification mathématique d un ensemble de données et de l ensemble des opérations qu elles peuvent effectuer. On qualifie d abstrait ce type de données car il correspond à un cahier des charges qu une … Wikipédia en Français
Trait (type abstrait) — Pour les articles homonymes, voir Trait. Un Trait est un type abstrait, simple modèle conceptuel pour structurer des programmes orientés objets . [1]. Les traits sont similaires aux mixins, mais peuvent inclure des définitions pour des méthodes… … Wikipédia en Français
TYPE — Modèle qui détermine la forme d’une série d’êtres, lui même étant l’un de ces êtres (prototype, archétype); être qui présente la forme la plus caractéristique ou la plus parfaite d’une série (être «typique», «typé»; «typifier»: exagérer les… … Encyclopédie Universelle
Type algebrique de donnees — Type algébrique de données Un type algébrique de données est un type de données dont chacune des valeurs est une donnée d un autre type enveloppée dans un des constructeurs du type. Toutes les données enveloppées sont des arguments du… … Wikipédia en Français
Type algébrique — de données Un type algébrique de données est un type de données dont chacune des valeurs est une donnée d un autre type enveloppée dans un des constructeurs du type. Toutes les données enveloppées sont des arguments du constructeur. Par contraste … Wikipédia en Français
Type recursif — Type récursif Dans un langage de programmation, un type récursif ou type inductif est un type de données pour des valeurs qui contiennent d autres valeurs du même type. Un exemple est le type liste en Haskell : data List a = Nil | Cons a… … Wikipédia en Français
Type — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Type », sur le Wiktionnaire (dictionnaire universel) Le mot « type » (du grec tupos,… … Wikipédia en Français
Type statique — Typage statique Sommaire 1 Définition 2 Langages à objets et typage statique 3 Problèmes 4 Résolution, autres difficultés … Wikipédia en Français
Type algébrique de données — Un type algébrique de données est un type de données dont chacune des valeurs est une donnée d un autre type enveloppée dans un des constructeurs du type. Toutes les données enveloppées sont des arguments du constructeur. Par contraste aux autres … Wikipédia en Français
Type récursif — Dans un langage de programmation, un type récursif ou type inductif est un type de données pour des valeurs qui contiennent d autres valeurs du même type. Cette notion s applique naturellement dans l étude des listes et des arbres. Sommaire 1… … Wikipédia en Français
