Dynamische Programmiersprachen - Fachgebiet ...

3 DYNAMISCHE TYPISIERUNG / STATISCHE TYPISIERUNG 9
Es erfolgt im Gegensatz zu einer statischen Programmiersprache wie beispielsweise Java
im Quell-Code keine Typ-Deklaration der einzelnen Variablen.
In einer statisch typisierten Programmiersprache wie Java ist dies, wie das folgende
Beispiel zeigt, nicht möglich:
Abbildung 6: Beispiel: Statische Typisierung in der Programmiersprache Java
Da die Variable b bereits im Kopf des Programms statisch als integer-Variable deklariert
wurde, lässt sich ihr innerhalb der main-Methode kein String-Wert mehr zuweisen.
Es kommt daher zu einem Kompilierfehler. Dies lässt sich sowohl als Nachteil- aber
auch als Vorteil bezüglich des Beispiels mit dynamischer Typisierung betrachten. Ein
Nachteil besteht darin, daß sich der Bezeichner b nicht wiederverwerten lässt, der
Vorteil, daß durch die Typprüfung verhindert werden kann, daß nicht unbeabsichtigte
Wertzuweisungen auftreten können.
Ein weiteres Beispiel für dynamische Typisierung findet man in der Programmiersprache
Objective-C, einer hauptsächlich von Brad Cox in den 80er Jahren bei PPI, später Stepstone,
um die Fähigkeit der Objektorientierung entwickelten Erweiterung der Programmiersprache
C. Deren Syntax und Konzeption der objektorientierten Erweiterungen ist
an Smalltalk angelehnt. Bemerkenswerte Eigenschaften von Objective-C gegenüber der
Programmiersprache C++, die ebenfalls einen Ansatz einer objektorientierten Erweiterung
der Programmiersprache C darstellt (der jedoch auf Simula zurückgeht), sind
u.a. das späte Binden von Methoden und die Typlosigkeit, die beide auf Smalltalk
zurückgehen.
Im unteren Beispiel wird ein Ausschnitt einer Klasse gezeigt, die einen Knoten in einer
einfach verketteten Liste darstellen soll. Dabei ist das Attribut LinkedListNode*
next ein Zeiger auf das nächste Element der Liste und das Attribut id data der Inhalt