Nom et image mentale

Il se pourrait bien que la caractéristique la plus importante d'un type abstrait soit son nom et son image mentale ; cette dernière correspond à une description verbale du type, permettant au programmeur consommateur de se forger une idée précise sur le fonctionnement du type et d'imaginer les effets des opérations.

Le nom du type fait souvent allusion à des objets plus physiques, et l'image fait référence au comportement de cet objet physique. Un exemple typique est celui d'une pile. Le mot pile ainsi que l'utilisation du mot sommet dans la description donne une image facile à retenir. Ce serait amusant d'imaginer la description de ce type abstrait sans mentionner ces deux mots.

Un grand nombre de mots comme arbre, branche, feuille, sommet, début, fin, gauche, droite, avant, après, prédécesseur et successeur ont comme seule raison d'être (dans la description d'un type abstrait) la simplification de la compréhension du type par le programmeur consommateur.