Werttypen in objektorientierten Programmiersprachen

Ritterbach, Beate;  Schmolitzky, Axel, Dr.

Projektbeschreibung

Werte und Objekte sind zwei grundlegende, fundamental verschiedene Abstraktionen der Softwareentwicklung. Werte, z. B. Zahlen, Zeichenketten oder Geldbeträge, sind zeitlos und zustandslos. Objekte repräsentieren Gegenstände der realen Welt, z. B. Kunden, Konten oder Verträge. Sie werden erzeugt, können Zustandsänderungen durchlaufen und vernichtet werden.

Objektorientierte Programmiersprachen sind primär auf Objekte und zustandsbehaftete Verarbeitung ausgerichtet. Werte und zustandslose Verarbeitung können damit nur unzureichend abgebildet werden, was die Verständlichkeit und Wartbarkeit des Quellcodes beeinträchtigt. Die zentrale These der Arbeit lautet: die Unterscheidung von Werten und Objekten kann die softwaretechnischen Qualitäten eines Programmsystems verbessern.

Es wird vorgeschlagen, auch Werte explizit durch die Programmiersprache zu unterstützen: durch einen eigenständigen Typkonstruktor für Werttypen, der gleichberechtigt neben dem Typkonstruktor für Objekttypen ("class") steht. Damit können Werttypen ebenso wie Objekttypen einfach definiert werden, sind im Quellcode als solche erkennbar und die Sprachumgebung kann ihre charakteristischen Merkmale garantieren. So gewinnt die Sprache an Ausdrucksstärke, Klarheit und Sicherheit. Darüber hinaus beeinflusst die Trennung von Werten und Objekten bei einem konsequenten Sprachdesign auch andere Sprachkonstrukte, und erlaubt Gestaltungen, die in einem einheitlichen Typsystem nicht möglich sind.

Schlagwörter

Werte und Objekte; Sprachdesign; Sprachkonzepte; Software-Engineering-Sprachen; objekt-funktionale Sprachen

Veröffentlichungen

Ritterbach, B.; Schmolitzky, A.
Werttypen in objektorientierten Programmiersprachen: Anforderungen an eine Sprachunterstützung
In: Reussner, R. (Hrsg.) ; Grund, M. (Hrsg.) ; Oberweis, A. (Hrsg.) ; Tichy, W. (Hrsg.): Software Engineering 2011 – Proceedings. Lecture Notes in Informatics Vol. P-183, Gesellschaft für Informatik, Bonn, S. 183-194

Rathlev, J., Ritterbach, B., Schmolitzky, A.
Auf der Suche nach Werten in der Softwaretechnik - Werte und Objekte in objektorientierten Programmiersprachen (Kurzbeitrag)
In: Wolf-Gideon Bleek, Jörg Raasch, Heinz Züllighoven (Hrsg.): Lecture Notes in Informatics (LNI) - Proceedings, Series of the Gesellschaft für Informatik e.V. (GI), Software Engineering 2007, Hamburg, March 26-30, pp. 261-262

Ritterbach, B.
Eigene Werttypen in Java
In: Java-Spektrum, 04/2003, pp. 46 -50