Top Qs
Chronologie
Chat
Contexte

Sûreté du typage

De Wikipédia, l'encyclopédie libre

Remove ads

La sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation.

Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs.

Remove ads

Principe de substituabilité

La programmation objet a introduit [Quand ?] 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.

Notes et références

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads