Surete du typage
- Surete du typage
-
Sûreté du typage
Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type à la compilation.
Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs.
Principe de substituabilité
La programmation objet a introduit les notions d'objets, messages, classes, héritage.
Il est tentant de faire coller les classes à des types. La plupart des langages à objets font ce rapprochement, et imposent, pour bénéficier d'un typage sûr, le principe de substituabilité sur les classes dérivées d'une super-classe.
Catégorie : Théorie des types
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Surete du typage de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Sûreté du typage — Dans les langages à typage statique, l un des objectifs est d intercepter les erreurs de type à la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d opérateurs. Principe de substituabilité La programmation objet a… … Wikipédia en Français
Typage statique — Le typage statique est une technique utilisée dans certains langages de programmation impératifs (C++, Java, Pascal, par exemple) pour associer à un symbole dénotant une variable le type de la valeur dénotée par la variable ; et dans… … Wikipédia en Français
Typage — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… … 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
Système de type — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… … Wikipédia en Français
Système de types — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… … Wikipédia en Français
Type (informatique) — Pour les articles homonymes, voir Type (homonymie). En programmation informatique, un type de donnée, ou simplement type, définit les valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. Sommaire 1 Types… … Wikipédia en Français
Type de données — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… … Wikipédia en Français
Types de données — Type (informatique) Pour les articles homonymes, voir Type (homonymie). En programmation un type de données, ou simplement type, définit le genre de contenu d une donnée et les opérations pouvant être effectuées sur la variable correspondante.… … Wikipédia en Français
Données struturées — Structure de données En informatique, une structure de données est une structure logique destinée à contenir des données, afin de leur donner une organisation permettant de simplifier leur traitement. Une structure de données implémente… … Wikipédia en Français
