Type System
Ein Typsystem weist Ausdrücken Typen zu und fängt Typfehler zur Compile-Zeit ab, wodurch typbedingte Laufzeitfehler verhindert werden.
Zweck
Typfehler zur Compile-Zeit abfangen und Sicherheit sowie Dokumentation bieten — der Kern statisch typisierter Sprachen.
Mechanismus
Typregeln weisen Ausdrücken Typen zu; der Typchecker validiert sie. Starke Typisierung: keine impliziten unsicheren Konvertierungen. Statisch: zur Compile-Zeit geprüft. Graduelle Typisierung (TypeScript) erlaubt dynamische Auswege. Typinferenz (Hindley-Milner) leitet Typen automatisch ab.
Anwendungsfälle
- Compile-Zeit-Sicherheit
- Basis der Typinferenz
- Sprachdesign