In diesem Kapitel werden wir uns damit beschäftigen, welche vordefinierten Typen und Klassen in Ada existieren und wie man in Ada Konstanten und Variablen deklariert.
Ein Typ ist charakterisiert durch eine Menge von Werten und eine Menge von primitiven Operationen, die die grundlegenden Aspekte seiner Semantik implementieren. Ein Objekt eines bestimmten Typs existiert zur Laufzeit und beinhaltet einen Wert des Typs.
Typen werden zu Klassen zusammengefaßt, die die Ähnlichkeit ihrer Werte und primitiven Operationen widerspiegeln. Es gibt mehrere von der Sprache vordefinierte Klassen von Typen, die wir im folgenden behandeln werden.