Starke Typisierung

Starke Typisierung (engl. strong typing) bezeichnet ein Schema der Typisierung von Programmiersprachen. In der Literatur wird auch von strenger Typisierung gesprochen.

Bei der starken Typisierung bleibt eine einmal durchgeführte Bindung zwischen Variable und Datentyp bestehen, es wird auch (möglichst) keine implizite Typkonvertierung vorgenommen.

Eine nicht stark typisierte Sprache bezeichnet man als schwach typisiert.

Leider ist das Konzept des strong typing alles andere als eindeutig. In der Literatur finden sich diverse Regeln, die sich teilweise widersprechen. Versucht man alle bisher in der Literatur aufgestellten Regeln für strong typing auf bekannte Programmiersprachen anzuwenden, hält keine Sprache dieser Überprüfung stand:

Eine Sprache ist stark typisiert, wenn

Datentypen an Variablennamen anstatt an diskreten Werten geknüpft sind - die passende Terminologie dafür wäre statische Typisierung (static typing) im Gegensatz zur dynamischen Typisierung (dynamic typing);
sie Typüberprüfungen zur Compile-Zeit enthält;
Typkonvertierungen verboten sind;
Typkonvertierungen explizit durchgeführt werden müssen;
die Sprache keine Mechanismen besitzt, um das Typ-System zu entgehen, etwa type casts (Typumwandlungen) in C);
es ein komplexes, fein abgestuftes System an Typen mit Sub-Typen gibt;
der Datentyp eine Objektes fix ist und sich während der gesamten Lebensdauer des Objektes nicht verändern kann (auch diese Eigenschaft wird oftmals statische Typisierung genannt);
das Typ-System das Laufzeitverhalten eines Programmes garantieren kann.

Beispiele

Stark typisierte Sprachen (Keine der genannten Sprachen genügt allen Definitionen.):

Schwach typisierte Sprachen: