Typsystem

Ein formales Regelwerk und Mengenbeziehungen in einer Programmiersprache, das Ausdrücken Typen zuweist und einschränkt, wie diese Typen kombiniert werden dürfen, mit dem Ziel, bestimmte Fehlerklassen zu erkennen und ein sicheres Schließen über Programmverhalten zu ermöglichen.

Ein formales Klassifikationsschema, das Ausdrücken Typen zuweist und Regeln festlegt, wie typisierte Entitäten kombiniert werden dürfen, mit dem Ziel, Invarianten durchzusetzen, Fehler zu erkennen und den Programmaufbau statisch oder dynamisch zu steuern.