Sûreté du typage
Un article de Wikipédia, l'encyclopédie libre.
 |
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
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.
[modifier] 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.
