Une façon de distinguer les objets est de les classer en fonction des actions qu’on peut leur appliquer. Les classes obtenues en répertoriant les différentes actions possibles, et en mettant dans la même classe les objets qui peuvent être soumis aux mêmes actions s’appellent des types. Classiquement, on distingue deux catégories de type : les types élémentaires et les types structurés. Dans ce chapitre, nous n’étudierons que les objets élémentaires.
On dira qu’un type est élémentaire, ou simple, si les actions qui le manipulent ne peuvent accéder à l’objet que dans sa totalité.
Le plus souvent, les types élémentaires sont prédéfinis par le langage, c’est-à-dire qu’ils préexistent, et sont directement utilisables par le programmeur. Il s’agit, par exemple, des types entier, réel, booléen ou caractère.
Le programmeur peut également définir ses propres types élémentaires, en particulier pour spécifier un domaine de valeur particulier. Certains langages de programmation offrent pour cela des constructeurs de types élémentaires.
Un langage est dit typé si les variables sont associées à un type particulier lors de leur déclaration. Pour ces langages, les compilateurs peuvent alors vérifier la cohérence des types des variables, et ainsi garantir une plus grande fiabilité des programmes construits. Au contraire, les variables des langages de programmation non typés peuvent désigner des objets de n’importe quel type et les vérifications de cohérence de type sont reportées au moment de l’exécution du programme…