Daten und Variablen haben Typen

Jedes Datum (das zur Laufzeit im Hauptspeicher steht) und jeder Speicherplatz (Variable) für ein Datum haben genau einen Typ.

Typ-Prüfungen müssen deswegen stattfinden:

• grundsätzlich bei Zuweisungen, ...deswegen auch:
• bei Argument-Übergabe an Unterprogramme
• bei Resultat-Übergabe von Unterprogrammen