Typen

Ein Typ ist eine Menge von Werten, Beispiele:


erst durch Angabe eines Typs kann einem Bitmuster im Hauptspeicher ein Sinn zugeordnet werden


wenn sich die Zuordnung (Speicherstelle $ \to$ Typ)
beim Lauf des Programms (dynamisch) nicht ändert,
dann kann sie vollständig zur Übersetzungszeit (statisch) bestimmt werden



Johannes Waldmann 2006-02-02