Typenkonzepte

Typenkonzepte bezeichnet in der Informatik die Konzepte und Strukturen, mit denen Programmiersprachen Werte klassifizieren, Typen bilden und Regeln für deren Verwendung festlegen. Typen dienen der Abstraktion, der Dokumentation beabsichtigter Verwendung sowie der frühzeitigen Fehlererkennung und der Unterstützung von Optimierungen durch den Compiler oder Interpreter.

Ein zentrales Element sind Typensysteme, die festlegen, wie Typen gebildet, kombiniert und geprüft werden. Typen können statisch oder dynamisch sein: Statisch bedeutet, dass der Typ zur Compile-Zeit bekannt und geprüft wird, dynamisch bedeutet, dass Typen zur Laufzeit bestimmt oder überprüft werden. Weiterhin unterscheiden sich Typen nach ihrer Strenge: starke Typisierung beendet oft Typfehler durch klare Regeln, während schwache Typisierung häufiger Typkonversionen zulässt.

Eine weitere Unterscheidung ist nominale versus strukturelle Typisierung. Nominal typisierte Sprachen prüfen Typkompatibilität anhand deklarierter Typennamen und Vererbungshierarchien, während strukturell typisierte Sprachen Typkompatibilität nach der Struktur von Typen prüfen (z. B. welche Felder oder Methoden vorhanden sind), unabhängig vom Namen der Typen.

Wichtige Konzepte ergänzend sind Typinferenz (automatisches Ermitteln von Typen), generische Typen und parametrisierte Polymorphie (Typkonstruktoren, z. B. Listen von T), sowie Subtyping und Polymorphie (spezifische oder generische Formen der Wiederverwendung von Code). In vielen Sprachen spielen auch Typklassen oder Schnittstellen eine Rolle, um Verhalten zu abstrahieren und zu spezifizieren.

Typenkonzepte beeinflussen Sicherheit, Ausdruckskraft und Effizienz von Sprachen und sind ein zentrales Thema in Sprachentwurf, Compilerbau und formaler Verifikation.