Typsysteme

Design-Entscheidung: wann wird geprüft?

• (dynamisch): zur Laufzeit
• (statische): zur Übersetzungszeit:

  Jeder Ausdruck (der im Quelltext steht) hat genau einen Typ.

  ...zur Laufzeit hat dann jeder Wert des Ausdrucks immer diesen Typ.

mangelnde Strenge rächt sich immer, früher oder später (je später, desto schlimmer) ...