13. Typsysteme und Datenmodellierung

Primitive Typen, zusammengesetzte Typen, Nullwerte, Generics und Typinvarianten machen Annahmen im Code sichtbar. Datenmodelle werden so entworfen, dass ungültige Zustände schwer darstellbar sind.