Page d'accueil
encyclopedie-enligne.com en page d'accueil| Page d'accueil |
encyclopedie-enligne.com en page d'accueil |
|||||
| Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées | ||||||
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.
La programmation objet a introduit les notions d'objets, messages, classes, héritage.
Il est tentant de faire coller les classe à 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.
(à continuer)
