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.

Ce document provient de « S%C3%BBret%C3%A9 du typage ».

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

Share the article and excerpts

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