In diesem ersten Teil einer Reihe von Arbeitspapieren werden Grundbegriffeder Typtheorie (Datentyp, Typkompatibilität, Typsystem) vonProgrammiersprachen eingeführt. Es wird eine Klassifizierung vonTypsystemen vorgenommen.[...]

Für den Objects-first-Ansatz in der Lehre der objektorientierten Programmierung - ohne den Ballast von Klassen - fehlt es bisher an geeigneten Programmiersprachen. Die DOSL (Direct Object Specification Language) erweitert deshalb bisher Smalltalk um die Möglichkeit, Objekte direkt, d.h. ohne...