Jenseits von OOP: Die Evolution des Subtypings in Programmiersprachen

Dieser Artikel untersucht die entscheidende Rolle von Subtyping im Design von Programmiersprachen. Der Autor erläutert anhand seiner Erfahrung bei der Entwicklung mehrerer Programmiersprachen, dass Subtyping nicht auf Klassenvererbung in der objektorientierten Programmierung beschränkt ist, sondern ein grundlegenderes Konzept darstellt: Typ X ist ein Subtyp von Typ Y, wenn ein Wert vom Typ X überall dort verwendet werden kann, wo ein Wert vom Typ Y erwartet wird. Der Artikel erklärt klar, warum Subtyping auch in leistungsorientierten Low-Level-Sprachen entscheidend ist, da es dem Compiler ermöglicht, Nullwerte, Aliasing und andere Probleme statisch zu überprüfen, wodurch die Zuverlässigkeit des Codes verbessert und letztendlich die Entwicklung von Programmiersprachen vorangetrieben wird.