Siehe auch WikiPedia:Datatype

Typsicherheit lässt sich nur bedingt unabhängig von anderen Sprachkonzepten diskutieren. In einer objektorientierten Sprache wird hängt die Typfrage u. a. von folgenden Sprachfeatures ab:

• Gibt es Datentypen, die keine Objekte sind?
• Gibt es Typumwandlungen?
• Gibt es ein Metamodell?
• Lassen sich neue Typen auch zur Laufzeit erzeugen?
• Wie wird Polymorphie umgesetzt? (Late-Binding, Templates, dynamische Typisierung, ...)
• Wie wird das Vererbungskonzept auf Typen angebildet? (MehrfachVererbung, Interfaces, Mixins, Traits, ...)
• Wird Kapselung als Bestandteil des Typkonzepts aufgefasst? Können Zugriffsverletzungen zur Compilezeit erkannt werden?
• u.s.w.

Hä? Objektorientierung ist doch eine Eigenschaft des Typsystems. Keiner der aufgezählten Punkte zeigt Verstrickungen des Typsystems mit anderen Sprachaspekten. Was hat diese Aufzählung überhaupt unter dem Punkt Typsicherheit verloren? Das wird hoffentlich keine neue StatischeVersusDynamischeTypisierung-Seite. -- HenningThielemann