Notion de type

ADA est un langage très typé, il faut obligatoirement définir un type à tous les objets (variables, fonctions, procédures, etc.) du programme que vous réaliser.

Un type définit l'ensemble des valeurs que peut prendre un objet, ainsi que les opérations permises sur ses valeurs. En effet, certaines opérations sont possible que pour un type donné. Cela impose au développeur d'avoir une bonne connaissance des objets qu'il maîtrise.