Types structurés - Les Type défini par énumération Opérations sur une variable

Vérifications de type à la compilation

Un des rôles du compilateur, et non des moindres, est de détecter autant que possible les erreurs, et d'aider le programmeur en les lui signalant. Ainsi, dans toute expression, affectation ou appel de sous-programme, il vérifie la cohérence entre les types des objets employés.

Définir des types différents pour modéliser des classes d'objets différentes, c'est donner au compilateur l'information nécessaire pour ce travail de détection d'erreurs.