Systeme nominatif de types

Systeme nominatif de types

Système nominatif de types

Un système nominatif de types est une classe majeure de système de types en programmation informatique. C'est avec lui qu'on détermine la compatibilité et l'équivalence de types par la déclaration explicite et/ou le nommage des types. On utilise les systèmes nominatifs pour déterminer si des types sont équivalents ou pour savoir si un type est un sous-type d'un autre. Ce système est en contraste avec le système structural, où les comparaisons sont basées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites.

Sommaire

Typage nominatif

Un typage nominatif signifie que deux variables ont un type compatible si elles apparaissent soit dans la même déclaration, soit dans des déclarations qui utilisent le même nom de type. Notez que beaucoup de langages fournissent l'alias de types ou la possibilité de déclarer plusieurs noms pour le même type. La fonctionnalité C/C++ typedef en est un exemple. C, C++, et Java sont tous des langages qui utilisent la compatibilité par noms de types.

De manière similaire, le sous-typage nominatif signifie qu'un type est un sous-type d'un autre si et seulement s'il est explicitement déclaré comme tel dans sa définition. Des langages typés nominalement imposent typiquement qu'un sous-type ainsi déclaré est structurellement compatible. Néanmoins Eiffel permet à des sous-types non structurellement compatibles d'être déclarés. Mais les sous-types qui sont structurellement compatibles par accident et non déclarés comme sous-type ne sont pas considérés comme sous-type.

C, C++, et Java utilisent le typage nominatif et le sous-typage nominatif. C et C++ permettent un sous-typage structurel pour les types anonymes. En effet, on considère comme équivalents deux types anonymes s'ils ont la même structure même si les types sont "décrits" dans des parties différentes de code.

Certains langages sous-typés de manière nominative, tels que Java, permettent aux classes d'être déclarées comme finales, indiquant qu'aucun sous-typage supplémentaire n'est autorisé. On considère que le sous-typage nominatif est utile pour prévenir des équivalences de type accidentels. On considère donc qu'une sécurité de type est meilleure que le typage structurel. Le prix en est la flexibilité réduite. Ainsi, le typage nominal ne permet pas à des super-types d'être créés sans la modification des sous-types existants.

Voir aussi

Articles connexes

Liens externes

  • Portail de l’informatique Portail de l’informatique
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Syst%C3%A8me nominatif de types ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Systeme nominatif de types de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Système nominatif de types — Un système nominatif de types est une classe majeure de système de types en programmation informatique. C est avec lui qu on détermine la compatibilité et l équivalence de types par la déclaration explicite et/ou le nommage des types. On utilise… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • IMPÔT — Phénomène social à multiples facettes dont la complexité n’est plus à démontrer, l’impôt fait partie intégrante de la vie publique et rythme tous les instants de la vie du citoyen. Sans doute l’impôt a t il varié dans son poids, dans sa… …   Encyclopédie Universelle

  • SLAVES — Les peuples slaves, dont le nom n’est mentionné pour la première fois qu’en 500 après J. C., ont constitué au cours du Moyen Âge de puissants États tels la principauté de Grande Moravie, la Russie kiévienne, le royaume de Pologne, le grand duché… …   Encyclopédie Universelle

  • Quenya — Quenya, Quendya Auteur John Ronald Reuel Tolkien Parlée dans le monde imaginaire de la Terre du Milieu Typologie langue synthétique, présentant à la fois des traits agglutinants et flexionnels Catégorie langue imaginaire …   Wikipédia en Français

  • Nombre grammatical — Le nombre est, en grammaire et linguistique, un trait grammatical caractérisant certains lemmes comme les noms et adjectifs, les pronoms ainsi que les verbes. Dans le système nominal et pronominal, le nombre représente de manière plus ou moins… …   Wikipédia en Français

  • Qenya — Quenya Le quenya (prononcé [ kʷɛnʲa]) ou haut elfique est une des langues construites imaginées par le romancier et philologue John Ronald Reuel Tolkien dans le cadre de l élaboration des récits de la Terre du Milieu. Sa création remonte au plus… …   Wikipédia en Français

  • Nombre (grammaire) — Nombre grammatical Le nombre est, en grammaire et linguistique, un trait grammatical caractérisant certains lemmes comme les noms et adjectifs, les pronoms ainsi que les verbes. Dans le système nominal et pronominal, le nombre représente de… …   Wikipédia en Français

  • Nombre Grammatical — Le nombre est, en grammaire et linguistique, un trait grammatical caractérisant certains lemmes comme les noms et adjectifs, les pronoms ainsi que les verbes. Dans le système nominal et pronominal, le nombre représente de manière plus ou moins… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”