Typsystem
aus Wikipedia, der freien Enzyklopädie
Ein Typsystem ist der Teil einer Programmiersprache bzw. deren Laufzeitsystems, welches deren Typisierung realisiert, also die Anwendung der Datentypen bei der Übersetzung und Ausführung eines Programms handhabt und damit die Typsicherheit gewährleistet.
Eine abstraktere Definition ist:
- [A type system is a] tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute.
- (Benjamin C. Pierce)
Zu den Aufgaben eines (konkreten) Typsystems gehören:
- Erkennung von Typverletzungen bei der Übersetzung und Ausführung
- Typumwandlung (engl. type conversion), also Umwandlung bzw. Beförderung und Degradierung von Typen (engl. type promotion, type demotion)
