imported>UKoch: /* Wichtige Eigenschaften von Smalltalk */ Links versetzt, Kommata, Formulierungen

2025-09-30T17:15:36Z

Wichtige Eigenschaften von Smalltalk: Links versetzt, Kommata, Formulierungen

Neue Seite

{{Infobox Programmiersprache
| Name =
| Logo = [[Datei:Smalltalk-powered.gif|Logo von Smalltalk]]
| Beschreibung =
| Paradigma =
| Erscheinungsjahr = 1972 (Entwicklung ab 1969)
| Designer = [[Alan Kay]], [[Dan Ingalls]], [[Adele Goldberg]]
| Entwickler = [[Alan Kay]], [[Dan Ingalls]], [[Adele Goldberg]], Ted Kaehler, Scott Wallace, [[L Peter Deutsch|Peter Deutsch]]
| AktuelleVersion =
| AktuelleVersionFreigabeDatum = Pharo, 2017
| AktuelleVorabVersion =
| AktuelleVorabVersionFreigabeDatum =
| Typisierung = [[Dynamische Typisierung|dynamisch]]
| Betriebssystem = [[Microsoft Windows|Windows]], [[Linux]], [[macOS]], uvm.
| Standardisierungen =
| Beeinflusst_von = [[Lisp]], [[Simula]]
| Beeinflusste = [[Objective-C]], [[Java (Programmiersprache)|Java]], [[Ruby (Programmiersprache)|Ruby]], [[Self (Programmiersprache)|Self]], [[PHP]] 5, [[Logtalk]], [[Dylan (Programmiersprache)|Dylan]], [[AppleScript]], [[NewtonScript]], [[Python (Programmiersprache)|Python]], [[Groovy]], [[Scala (Programmiersprache)|Scala]], [[Raku (Programmiersprache)|Raku]], [[Common Lisp Object System]], [[Falcon (Programmiersprache)|Falcon]], [[Io (Programmiersprache)|Io]], [[Ioke (Programmiersprache)|Ioke]], [[Fancy (Programmiersprache)|Fancy]], [[Strongtalk]]
| Implementierung = [[Pharo (Programmiersprache)|Pharo]], [[Squeak]], [https://cuis.st/ Cuis], [http://haver.klix.ch/ Haver], GNU Smalltalk, VisualWorks, Dolphin Smalltalk, Smalltalk/X, VA Smalltalk, OOVM
| Dialekte = [[Pharo (Programmiersprache)|Pharo]]
| Lizenz = anwendungsspezifisch
| Website = http://www.smalltalk.org/
}}

'''Smalltalk''' ist ein Sammelbegriff einerseits für eine [[Dynamische Programmiersprache|dynamische]], im Original untypisierte [[Objektorientierte Programmierung|objektorientierte Programmiersprache]] und andererseits für eine vollständige [[Integrierte Entwicklungsumgebung|Entwicklungsumgebung]], die in den 1970er Jahren am [[Xerox PARC]] Forschungszentrum durch [[Alan Kay]], [[Dan Ingalls]], [[Adele Goldberg]] und andere entwickelt wurde. Sie wurde allgemein unter dem Namen Smalltalk-80 freigegeben und hat die Entwicklung vieler späterer Programmiersprachen, wie etwa [[Objective-C]], [[Java (Programmiersprache)|Java]] und [[Ruby (Programmiersprache)|Ruby]] beeinflusst. Smalltalk wurde von [[Lisp]] mit seiner [[Garbage Collection|automatischen Speicherbereinigung]] und [[Simula]] mit seinem Klassen-Konzept beeinflusst und gilt neben [[Simula|Simula-67]] als eine der ersten objektorientierten Programmiersprachen.

Smalltalk ist im Gegensatz zu Sprachen wie [[C++]] oder Java eine rein objektorientierte Programmiersprache, das heißt, Daten wie ''Integer, Character'' und ähnliche, die in anderen objektorientierten Sprachen zum Teil als [[Datentyp#Elementare Datentypen|elementare Datentypen]] repräsentiert werden, sind in Smalltalk ebenfalls über Objekte und zugehörige Klassen realisiert. Die Smalltalk-Entwicklungsumgebung enthielt viele Ideen, die später mit der [[Macintosh]]- und [[Graphical Environment Manager|Atari-TOS/GEM]]- und dann später auch Windows-Benutzeroberfläche verbreitet wurden. Verwendet wurde ein Grafikbildschirm mit verschiebbaren Fenstern, Aufklappmenüs und Schriften von verschiedener Größe. Eine Maus mit drei Tasten – rot, blau und gelb – diente erstmals als zusätzliches [[Eingabegerät]]. Das Model-View-Controller-Konzept ([[Model View Controller|MVC]]) spielte in der Smalltalk-80-Entwicklungsumgebung eine wesentliche Rolle.

== Wichtige Eigenschaften von Smalltalk ==
* Alles in Smalltalk ist ein Objekt, auch [[Zeichenkette]]n, [[Integer (Datentyp)|Integer]], [[Boolesche Algebra|boolesche Werte]], Klassen(-definitionen), ausführbarer Code, Stackframes, der Speicher, Codeblöcke etc.
* Objekte werden dadurch aktiviert, dass man ihnen Nachrichten (englisch „messages“) schickt. Dies führt dazu, dass die entsprechende Methode (Funktion) des Objekts ausgeführt wird.
* Der gesamte [[Quelltext]] ist in der Regel offen und kann somit verändert werden. Nur sehr wenige Methoden greifen auf echte 'Primitives' der virtuellen Maschine zurück.
* [[Dynamische Bindung]] – erst zur Laufzeit wird ermittelt, welche [[Objektorientierte Programmierung|Methode]] tatsächlich aufgerufen wird. Eine frühe („statische“) Bindung, wie dies bei der [[Statische Typisierung|statischen Typisierung]] vorgesehen ist, wurde in der Smalltalk-Programmiersprache bewusst ausgespart.
* Vererbung: In den meisten Smalltalk-Systemen ist jede Klasse (außer der Wurzelklasse <code>Object</code> oder <code>ProtoObject</code>) von genau einer Oberklasse abgeleitet, deren Verhalten sie erbt und beliebig erweitern kann (keine Mehrfachvererbung). Smalltalk-80 unterstützt allerdings eine einfache Form der Mehrfachvererbung.<ref>{{Internetquelle |autor=Alan H. Borning, Daniel H.H. Ingalls |url=https://cdn.aaai.org/AAAI/1982/AAAI82-056.pdf |titel=Multiple Inheritance in Smalltalk-80 |werk=AAAI |hrsg=Association for the Advancement of Artificial Intelligence |datum=1982 |sprache=en |abruf=2025-01-22}}</ref>
* [[Automatische Speicherbereinigung]] (englisch ''garbage collection''), die nicht durch den Programmierer beeinflusst werden kann. Ein Objekt existiert so lange, wie es von anderen Objekten [[Referenz (Programmierung)|referenziert]] wird.
* Smalltalkprogramme werden in [[Bytecode]] kompiliert, der durch eine [[virtuelle Maschine]] übersetzt wird. Ursprünglich wurde der Bytecode zu nativem Maschinencode interpretiert; kommerzielle Umgebungen arbeiten inzwischen fast ausschließlich mit dynamischer Übersetzung.
* Die Programmierumgebung erlaubt Änderungen im Quelltext, während das Programm läuft, und setzt diese unmittelbar während der Laufzeit um.
* Die Quelltexteingabe erfolgt in einem [[Klassenbrowser]]. Moderne [[Refactoring]]-Browser setzen sich allmählich gegen einfache Klassenbrowser durch, weil sie automatisierte Refactoring-Funktionen unterstützen und damit die Produktivität nochmals erheblich steigern, ähnlich wie sich [[Eclipse (IDE)|Eclipse]] in der Java-Welt etabliert hat.
* Eine typische Eigenschaft im Vergleich zu nicht-objektorientierten Sprachen ist, dass die Kontrollstrukturen wie ''if-then-else'', ''for'', ''while'' nicht in die Sprache eingebaut sind. Zum Beispiel wird eine If-Anweisung ausgeführt, indem eine ''ifTrue:''-Botschaft an ein boolesches Objekt gesandt wird. Als Parameter wird ein Block (Anweisungsfolge) übergeben. Lediglich in der Klasse <code>True</code> wird dieser Block ausgeführt. In der Klasse <code>False</code> ist diese Methode zwar auch implementiert, aber sie führt den Block nicht aus.
* Das gesamte System (inklusive Entwicklungswerkzeugen) wird in einem Image gespeichert.

Es gibt nur drei fest integrierte ausführbare Funktionen:
* eine Botschaft an ein Objekt senden
* ein Objekt einer Variablen zuweisen
* ein Objekt als Rückgabewert einer Methode liefern

== Geschichte und Bedeutung von Smalltalk ==
=== 1970–1980 ===
In diese Zeit fällt die Entwicklung der ersten Versionen von Smalltalk-71, Smalltalk-72, Smalltalk-74 und Smalltalk-76<ref>Vgl. Alan C. Kay: ''The early history of Smalltalk.'' In: »ACM SIGPLAN notices« (Tagungsjournal), Band 28, No. 3, März 1993, Association for Computing Machinery, New York, S. 69 ff. – {{Webarchiv |url=http://www.smalltalk.org/downloads/papers/SmalltalkHistoryHOPL.pdf |text=2004-0924-2355 (1999-0802-2121) |wayback=20120205105015}} (PDF; 3,9 MB).</ref> bis hin zum heute verbreiteten Standard Smalltalk-80 am Forschungszentrum Xerox PARC.

=== 1980–1990 ===
Die Programmierung mit Klassenbrowser und die Verwendung einer virtuellen Maschine zur Ausführung stellte von Anfang an gewisse Mindestanforderungen an die Hardware. Dies geschah zu einer Zeit, in der die erschwinglichen Computer nicht über grafische Benutzeroberflächen verfügten und die [[Rechenleistung]] nicht für eine solche ausreichte. Smalltalk war seiner Zeit voraus und konnte zu Beginn nur auf Workstations effektiv eingesetzt werden. Im Ergebnis gab es daher nur wenige Smalltalk-Entwickler – dafür umso mehr C-Programmierer.
Mit dem Aufkommen der grafischen Benutzeroberflächen im Mikrocomputerbereich entstand das objektorientierte C++, und da die meisten Entwickler C bereits kannten, konnte sich C++ sehr schnell verbreiten, sodass Smalltalk eine Nischenprogrammiersprache blieb. Im Gegensatz zu C und C++ legte Smalltalk auch auf hohe Ausführungsgeschwindigkeiten keinen besonderen Wert (Alan Kay: „It's still fast enough for our neurons“).

=== 1990–2000 ===
Anfang und Mitte der 1990er Jahre wurde Smalltalk in vielen Bereichen populär, in denen es auf die Beherrschung von Komplexität ankam (z. B. bei [[Expertensystem]]en). Verschiedene große Anbieter wie IBM begannen, Smalltalk stark zu unterstützen und in Großkundenprojekten einzusetzen. Es gab eine sprunghafte Zunahme verschiedener Implementierungen von Smalltalk. Mit dem Internet-Boom und dem davon profitierenden Java büßte Smalltalk Ende der 1990er Jahre seine gerade aufkommende Popularität jedoch wieder ein.

In Java wurden einige Konzepte von Smalltalk (wie z. B. die virtuelle Maschine und der [[Garbage Collector]]) übernommen. Die Syntax war jedoch wieder an C angelehnt. Auch kamen erneut nicht-objektorientierte Mittel zum Einsatz, wie die Vermischung der Objektorientierung mit einfachen Datentypen und imperative Strukturen, geringe Selbstbezüglichkeit und der Edit-Compile-Test-Debug-Zyklus mit Quellcode als reiner Textdatei etc. Java bot dafür Normierung, Aufstiegspfade für C-Programmierer und nicht zuletzt Allianzmöglichkeiten gegen die MS-Windows-Dominanz. Zudem wurde es von Sun Microsystems kostenlos zur Verfügung gestellt.

Das Ende des kurzen Smalltalk-Booms wurde durch den Niedergang der Firma [[ParcPlace]] unterstrichen, die als Ausgründung des Xerox PARC mit [[VisualWorks]]<ref>''[[:en:VisualWorks|VisualWorks]]'' in der englischsprachigen Wikipedia</ref> (heute bei [[Cincom]])<ref>''[[:en:Cincom Systems|Cincom]]'' in der englischsprachigen Wikipedia</ref> den direkten Nachfolger der Originalimplementierung anbot, der die damals mächtigste Smalltalk-Entwicklungsumgebung darstellte: Mit VisualWorks geschaffene Anwendungen liefen bereits 1991 bitkompatibel (durch VM) unter [[Windows]], [[Mac OS Classic]], [[Solaris (Betriebssystem)|Solaris]] (und anderen [[Unix]]-Systemen) und konnte ab 1994 deren verschiedene Benutzeroberflächen mit „Camelon View“ unabhängig vom Laufzeitsystem simulieren. Ein Konkurrent zu VisualWorks war die auf Windows und [[OS/2]] zugeschnittene Entwicklungsumgebung ''Smalltalk/V'' (später ''Visual Smalltalk Enterprise'' genannt) der Firma Digitalk,<ref>{{Internetquelle |autor=Thomas Brey, Heiko Wagner |url=https://vs-kb.apis.de/wp-content/uploads/2015/05/A-moribund-Smalltalk-still-alive-and-kicking.pdf |titel=A moribund Smalltalk still alive and kicking |werk=vs-kb.apis.de |datum=2008-08-29 |format=PDF |sprache=en |abruf=2023-01-12 |kommentar=Informationen zu einem Vortrag auf der 16. ESUG-Konferenz, Amsterdam}}</ref> die zuletzt bei Cincom erhältlich war.<ref>{{Webarchiv |url=http://www.cincomsmalltalk.com/userblogs/cincom/blogView?content=vse |text=The Premiere Component-Based Development Environment for Windows 9X and Windows NT |wayback=20110723005517}} auf cincomsmalltalk.com (englisch)</ref>

Obwohl Smalltalk sehr leicht zu erlernen (nur wenige Sprachkonstrukte) und zu debuggen ist (selten ist eine zeitaufwendige explizite Neukompilierung und -erstellung sowie ein Neustart des Programms erforderlich) und das Problem mit der Ausführungsgeschwindigkeit – zum Teil durch effektivere Implementierungen, zum Teil durch leistungsfähigere Hardware – inzwischen gelöst ist, wird Smalltalk heute noch immer in wenigen Bereichen eingesetzt. Einer der Gründe hierfür kann in der mangelnden Einheitlichkeit der Programmbibliotheken verschiedener Implementationen gesehen werden, von denen bisher keine eine „natürliche Dominanz“ (wie die von Sun Microsystems für Java) entwickelt hat.

Nachdem ParcPlace als Player ausgeschieden war, IBM sein Smalltalk-Engagement zugunsten von Java eingestellt hatte und verschiedene zunächst erfolgversprechende Smalltalk-Implementierungen eingestellt worden waren (z. B. Dolphin Smalltalk 2007), gab es nur noch wenige überzeugte Anhänger, die an einen großen Durchbruch glaubten. Smalltalk blieb weiter ein Insiderthema.

=== Seit 2000 ===
In den letzten Jahren gibt es mit der Etablierung von [[Freie Software|freien Implementierungen]] eine Art Renaissance von Smalltalk. Insbesondere das von ursprünglichen Smalltalk-Erfindern entwickelte plattformübergreifende Squeak und das darauf aufbauende ''Croquet'' erhalten wachsende Unterstützung aus Wissenschaft, IT-Industrie und einer großen freien Entwickler-[[Online-Community|Community]]. Squeak wurde erstmals im September 1996 als erstes freies Smalltalk veröffentlicht. Dan Ingalls, Ted Kaehler, John Maloney, Scott Wallace und Alan Kay schreiben, dass hier geglückt sei, was 1980 fehlschlug.<ref>{{Webarchiv |url=http://users.ipa.net/~dwighth/squeak/oopsla_squeak.html |text=Back to the Future: The Story of Squeak |wayback=20070127022620}}</ref>

Alan Kays Konzept einer interaktiven, computer- und netzwerkvermittelten Interaktion, das [[Dynabook]], ist Bestandteil in der Softwareentwicklung für das ''[[One Laptop per Child]]''-Projekt.<ref>[https://www.windley.com/archives/2006/02/alan_kay_the_10.shtml ''Alan Kay: The $100 Laptop and Powerful Ideas''], Windleys Technometria, 23. Februar 2006.</ref> Standardmäßig werden auf den Schülerlaptops ''EToys'', auf Squeak basierende Bausteine, installiert.

Mit Croquet wird, mit dem Hintergrund des heutigen Wissensstands, erneut eine Antwort auf die generelle Frage nach der optimalen Computer-Mensch-Schnittstelle gesucht. In den 1980er Jahren war dies die – erstmals mit Smalltalk implementierte – zweidimensionale grafische Benutzeroberfläche, die ihre Verbreitung durch Apple und Microsoft fand. Heute sehen Alan Kay und andere darin eine dreidimensionale, plattformunabhängige, vernetzte Multibenutzerumgebung, in der Objekte fließend zwischen den verschiedenen teilnehmenden Rechnern ausgetauscht werden können. Die dazu notwendigen Eigenschaften besitzt nach Auffassung der Mitglieder des 2001 gestarteten und 2007 veröffentlichten Croquet-Projektes speziell [[Squeak|Squeak Smalltalk]], welches das ursprünglich zur Implementierung vorgesehene Java daher ersetzte.

2008 startete das [[Pharo (Programmiersprache)|Pharo]]-Projekt, das auf der Basis von Squeak eine freie, stabile Smalltalk-Plattform bietet, um weitere Anwendungsbereiche mit freiem Smalltalk zu erreichen.

Am 15. April 2019 wurde VisualWorks 8.3.2 von [[Cincom Systems]] veröffentlicht. Cincom übernahm VisualWorks 1999 von [[Objectshare]].<ref>[https://www.computerwoche.de/a/smalltalk-spezialist-objectshare-verlaesst-die-buehne,1090899 computerwoche.de]</ref>

== Image-Konzept ==
Während die meisten Programmiersprachen ihren Quellcode in Dateien verwalten, die direkt über einen Editor bzw. eine Entwicklungsumgebung bearbeitet werden, wurde das ursprüngliche Smalltalk-80 von Xerox PARC mit einem Image-Konzept<ref>{{Internetquelle |url=https://stackoverflow.com/questions/3561145/what-is-a-smalltalk-image |titel=terminology – What is a Smalltalk "image"? |sprache=en |abruf=2022-08-11}}</ref> aufgebaut. Dabei bildet die Virtuelle Maschine mit einer Source-Datei und einer Image-Datei nicht nur Quellcode, sondern auch den gesamten Systemzustand (Objekte mit Zustandsinformation) ab. Die Image-Datei enthält hierzu einen Snapshot des gesamten Systems. Für Einsteiger etwas verwirrend ist, dass auch die Entwicklungsumgebung (Compiler, Editor, Debugger) in ihrem aktuellen Zustand gespeichert wird. Beim erneuten Starten des Systems wird aus der Image-Datei dann der Systemzustand der letzten Sitzung restauriert. Image- und Source-Datei bilden ein festes Tandem, welches auch immer gemeinsam gespeichert werden muss. Die endgültige Auslieferung einer Anwendung wird dadurch etwas komplizierter, da aus dem Image durch den Vorgang des Strippens alle nicht laufzeitrelevanten Anteile (z. B. der Debugger) entfernt werden müssen.

Moderne Varianten von Smalltalk weichen hiervon leicht ab, indem z. B. bei ENVY eine eigene Verwaltung der Systemelemente dazwischen geschaltet wurde oder in Pharo der Quellcode mit Git verwaltet werden kann.

Der Umfang der Klassenbibliothek und die Komplexität des Gesamtsystems (welches durch das Image-Konzept noch gesteigert wird) erschwert den Einstieg für Anfänger, was ein Zitat von [[Joe Armstrong (Informatiker)|Joe Armstrong]] drastisch beschreibt: “You wanted a banana but what you got was a gorilla holding the banana and the entire jungle.”<ref>{{Internetquelle |autor=Crystal Villanueva |url=https://crystal-villanueva.medium.com/the-banana-and-the-gorilla-problem-92c9a4717fd6 |titel=The Banana and the Gorilla Problem |werk=Medium |datum=2021-02-18 |sprache=en |abruf=2022-08-11}}</ref>

== Typisierte Variante von Smalltalk ==
Smalltalk verfügt nicht über ein statisches Typsystem. Insbesondere findet man dort keine Typdefinitionen und Typannotationen an Variablen oder für die Ein-/Ausgabeparameter von Methoden. Demgemäß finden auch keinerlei Typprüfungen bei Wertzuweisungen statt, wie dies für typisierte Sprachen üblich ist, und zwar weder dynamisch (zur Laufzeit) noch statisch (zur Übersetzungszeit). Die Klassenhierarchie von Smalltalk darf nicht mit einer Subtypenhierarchie verwechselt werden – auch wenn moderne objektorientierte Programmiersprachen oftmals Typ- und Klassendefinitionen als einen einzigen Vorgang betrachten, handelt es sich hier um unterschiedliche Konzepte und auch unterschiedliche Komponenten des Übersetzers und des Laufzeitsystems einer Sprache. Smalltalk verfügt hinsichtlich der Bildung und Prüfung von Typen über keine solche Komponente.

Es gibt allerdings Varianten von Smalltalk, die über ein statisches Typsystem verfügen, so etwa [[Strongtalk]]. Strongtalk ermöglicht die klassenunabhängige Definition von Typen in einer eigenen Typhierarchie und in der Folge auch die Annotation solcher Typen an Variablen und Methoden.

== Ausdrücke (Expressions) ==
Ausdrücke haben folgende Form:
<syntaxhighlight lang="smalltalk">
objekt nachricht
</syntaxhighlight>

Das heißt, man sendet einem Objekt eine Nachricht. Das Objekt antwortet mit einem Antwortobjekt. Ausdrücke müssen mit einem Punkt getrennt werden.

Es gibt drei Arten von Nachrichten, unäre Nachrichten, binäre Nachrichten und Schlüsselwort-Nachrichten.

Unäre Nachrichten haben keinen Parameter und bestehen aus einem Bezeichner:
<syntaxhighlight lang="smalltalk">
objekt nachricht
</syntaxhighlight>
Eine binäre Nachricht hat genau einen Parameter und besteht aus einem oder mehreren Sonderzeichen. Vier Beispiele:
<syntaxhighlight lang="smalltalk">
1 + 3
100 @ 200
vorname , nachname
10 // 3
</syntaxhighlight>
Die meisten arithmetischen Operationen sind in Smalltalk als binäre Nachrichten implementiert.

Eine Schlüsselwort-Nachricht hat einen oder mehrere Parameter, wobei vor den Parametern Doppelpunkte stehen.
<syntaxhighlight lang="smalltalk">
objekt nachricht: parameter
</syntaxhighlight>
Diese Schlüsselwort-Nachricht heißt <code>nachricht:</code> und hat einen Parameter <code>parameter</code>.
<syntaxhighlight lang="smalltalk">
objekt nachricht: parameter1 nachricht: parameter2
</syntaxhighlight>
Diese Schlüsselwort-Nachricht heißt <code>nachricht:nachricht:</code> und hat zwei Parameter. D. h. Parameter können bei Schlüsselwort-Nachrichten mitten in die Nachricht eingefügt werden. Diese Besonderheit macht es möglich, in Smalltalk besonders leicht lesbare Programme zu schreiben:
<syntaxhighlight lang="smalltalk">
collection copyFrom: 1 to: 10
</syntaxhighlight>
Das klingt wie ein Satz. In Java würde man das folgendermaßen schreiben:
<syntaxhighlight lang="smalltalk">
collection.copyFromTo(1, 10);
</syntaxhighlight>
Ausdrücke können kombiniert und mit Klammern geschachtelt werden. Ohne Klammern werden Ausdrücke in folgender Reihenfolge ausgeführt:
Unäre Nachrichten vor binären Nachrichten vor Schlüsselwort-Nachrichten. Bei „gleichrangigen“ Nachrichten erfolgt die Auswertung von links nach rechts.

Sollen einem Objekt in Folge mehrere Nachrichten geschickt werden, besteht die Möglichkeit, diese Nachrichten mit einem Semikolon ('';'') zu verketten:
<syntaxhighlight lang="smalltalk">
objekt
nachricht1;
nachricht2;
nachricht3
</syntaxhighlight>

== Zuweisungen ==
Eine Zuweisung hat folgende Form:
<syntaxhighlight lang="smalltalk">
variable := ausdruck
</syntaxhighlight>
Zugewiesen wird in Smalltalk nur die Referenz auf ein Objekt.

== Blöcke ==
Blöcke sind Sequenzen von Zuweisungsanweisungen und Ausdrücken. Sie werden durch eckige Klammern eingeschlossen. Blöcke können parameterlos sein oder auch Parameter aufweisen.
<syntaxhighlight lang="smalltalk">
blockEins := [ Anweisungen ]
blockZwei := [ :einParameter | Transcript show: einParameter ]
</syntaxhighlight>
Blöcke sind First Class Objekte. Sie können als Argument übergeben werden, oder als Rückgabewert eines Methodenaufrufs oder einer Blockevaluierung zurückgeliefert werden. Blöcke halten eine Referenz auf ihren Kontext, so dass bei deren Ausführung umgebende Variablen erreichbar sind (entsprechend ihrer statischen Sichtbarkeit). Blöcke entsprechen damit den Closures, wie sie aus vielen funktionalen Sprachen (z. B. Scheme) bekannt sind.
Zur Ausführung eines Blocks wird diesem eine Variante der value-Nachricht geschickt, wobei die Anzahl der mitgegebenen Parameter der Anzahl der Blockargumente entsprechen muss:
<syntaxhighlight lang="smalltalk">
blockEins value
blockZwei value: 'Test'
</syntaxhighlight>

== Kontrollstrukturen ==
Die Kontrollstrukturen werden mit booleschen Ausdrücken und Blöcken implementiert. Ein boolescher Ausdruck liefert nach der Auswertung ein boolesches Objekt. Diesem wird dann eine Message zugesandt, die als Parameter einen ausführbaren Block hat.
Der Programmtext sieht aber ähnlich wie bei anderen Programmiersprachen aus, so dass man wie dort einfach gewisse Kontrollstrukturen als gegeben anwenden kann.

Einige Beispiele.

=== IF-Anweisung ===
<syntaxhighlight lang="smalltalk">
aBoolean ifTrue: [ "ein Block mit Anweisungen" ]
</syntaxhighlight>
oder
<syntaxhighlight lang="smalltalk">
( einAusdruck ) ifTrue: [ "ein Block mit Anweisungen" ]
</syntaxhighlight>
Das aus anderen Programmiersprachen bekannte ''else'' sieht folgendermaßen aus:
<syntaxhighlight lang="smalltalk">
aBoolean ifTrue: [ ... ] ifFalse: [ ... ]
</syntaxhighlight>

=== Schleifen ===
<syntaxhighlight lang="smalltalk">
10 timesRepeat: [ Transcript show: '.' ].
1 to: 10 do: [ :i | Transcript show: i printString ].
[ "ein Block, der ein boolesches Objekt zurückgibt" ] whileTrue.
[ "ein Block, der ein boolesches Objekt zurückgibt" ] whileFalse.
[ "ein Block, der ein boolesches Objekt zurückgibt" ] whileTrue: [ "Block mit Schleifenrumpf" ].
[ "ein Block, der ein boolesches Objekt zurückgibt" ] whileFalse: [ "Block mit Schleifenrumpf" ]
</syntaxhighlight>

== Collections ==
Die Smalltalkumgebungen sind mit einer großen Klassenbibliothek ausgestattet. Ein wichtiger allgemeiner Objekttyp (Klasse) sind die ''Collections'', d. h. Sammlungen von Objekten. Die Klasse ''Collection'' steht an der Wurzel einer ganzen Hierarchie von Klassen.

Eine wichtige Arbeit, die man mit einem Collection-Objekt durchführen kann, ist für jedes Element der Collection einen Block von Anweisungen auszuführen. Andere Programmiersprachen brauchen hierfür spezielle Konstrukte ([[Iterator]]en).
<syntaxhighlight lang="smalltalk">
aCollection do: [ :einElement | einElement auszuführendeArbeitFürDiesesElement ]
</syntaxhighlight>
Es hat sich eingebürgert, den Parameter als ''each'' zu bezeichnen, sodass direkt klar ist, was hierbei gemeint ist. Bei Verwendung von mehreren Collections sollte man dem noch eine genaue Bezeichnung nachsetzten. Iteriert man bspw. über alle x und y Werte aus zwei unterschiedlichen Collections:
<syntaxhighlight lang="smalltalk">
xWerte do: [:eachX | yWerte do: [:eachY | map addPoint: eachX withY: eachY]]
</syntaxhighlight>

== Programmbeispiel ==
Das HelloWorld-Beispiel sieht wie folgt aus:
<syntaxhighlight lang="smalltalk">
Transcript show: 'Hello World!'.
</syntaxhighlight>
<code>Transcript</code> ist eine in jeder Smalltalkumgebung vordefinierte globale Variable, die ein Objekt enthält, auf dem man Dinge protokollieren kann (ein Ausgabefenster).

Diesem Objekt wird die folgende Nachricht geschickt:
<syntaxhighlight lang="smalltalk">
show: aString
</syntaxhighlight>
Ein bereits etwas komplexeres Beispiel:
<syntaxhighlight lang="smalltalk">
'Hello World' do: [ :eachChar|
Transcript show: eachChar asString; cr.
].
</syntaxhighlight>
gibt den Text „Hello World“ vertikal aus. 'Hello World' ist ein String (Zeichenkette). Die Klasse dieses Objektes ist eine Unterklasse von Collection. Ein String ist also eine Collection (= Sammlung) von Zeichen. Indem wir dem Objekt String die Nachricht
<syntaxhighlight lang="smalltalk">
aString do: [ :eachChar | OperationenMitDiesemBuchstaben ]
</syntaxhighlight>
senden, gehen wir alle Buchstaben (Elemente) des Strings einzeln durch.

Das ''Dictionary'' (in [[Perl (Programmiersprache)|Perl]] ''Hash'', in Java ''Map'') ist eine in Smalltalk häufig verwendete Datenstruktur:
<syntaxhighlight lang="smalltalk">
d := Dictionary new.
d at: 'grün' put: 'green'.
d at: 'blau' put: 'blue'.
d at: 'rot' put: 'red'.

Transcript show: (d at: 'blau').
</syntaxhighlight>
Alternativ können die Nachrichten auch wie bereits beschrieben verkettet werden:
<syntaxhighlight lang="smalltalk">
d := Dictionary new.
d at: 'grün' put: 'green';
at: 'blau' put: 'blue';
at: 'rot' put: 'red'.

Transcript show: (d at: 'blau').
</syntaxhighlight>
Auch das ''Dictionary'' ist eine Unterklasse von ''Collection''.
Diese Datenstruktur entspricht dem [[Assoziatives Datenfeld|assoziativen Array]] in anderen Programmiersprachen.

== Schreibweise ==
Smalltalk wird mit kleinem ''t'' geschrieben. Häufig findet sich die falsche Schreibweise ''SmallTalk'', selbst auf den offiziellen IBM-Webseiten, wenn auch nicht durchgehend.

== Implementierungen ==
* [https://www.amber-lang.net/ Amber Smalltalk] – plattformunabhängige Entwicklungsumgebung die auf JavaScript aufsetzt.
* [http://www.cincomsmalltalk.com/main/ Cincom Smalltalk] – Smalltalk-Dialekt der Firma Cincom. Angeboten werden folgende Umgebungen:
** [http://www.cincomsmalltalk.com/main/products/objectstudio/ ObjectStudio] – Entwicklungsumgebung für Microsoft Windows mit COM- und ODBC-Schnittstellen.
** [http://www.cincomsmalltalk.com/main/products/visualworks/ VisualWorks] – multiplattformfähig, eine kostenlose Version für den privaten Einsatz ist verfügbar.
* [https://cuis.st/ Cuis Smalltalk] – freies auf Übersichtlichkeit getrimmtes Smalltalk-System.
* [http://haver.klix.ch/index.html Haver Smalltalk] eine Erweiterung von Cuis, mit einem vollständigen Modul-System.
* [http://www.object-arts.com/dolphin7.html Dolphin Smalltalk] – Smalltalk-Umgebung für Windows.
* [http://smalltalk.gnu.org/ GNU Smalltalk] – freies Smalltalk des GNU-Projekts.
* [https://www.littlesmalltalk.org/ LittleSmalltalk] – freie Implementierung basierend auf Timothy A. Budds Ideen.
* [https://www.lesser-software.com/lswvst.htm LSW Vision-Smalltalk] – proprietäres Smalltalk für Windows.
* [[Pharo (Programmiersprache)]] – eine nach softwaretechnischen Maßstäben entwickelte Abspaltung von Squeak.
* [https://www.gnustep.org/experience/StepTalk.html StepTalk] – [[GNUstep]] und Mac OS X Scripting-Framework.
* [https://www.squeak.org/ Squeak] – freie plattformunabhängige Implementierung.
* [http://code.google.com/p/syx/ Syx] – eine weitere freie Smalltalk-Implementierung.
* [https://www.smalltalk-x.de/ Smalltalk/X] – Smalltalk der Firma eXept Software AG (kostenlos verfügbar, auch für kommerzielle Projekte).
* [http://www.objectconnect.com/ Smalltalk MT bei Object Connect] oder [http://www.genify.com/ Smalltalk MT bei Genify] – ein C++-naher Smalltalk-Dialekt.
* [https://www.strongtalk.org/ Strongtalk] – freie (open source) Smalltalk-Implementierung für Microsoft Windows.
* [https://www-4.ibm.com/software/ad/smalltalk/ VisualAge for Smalltalk] – Smalltalk-Umgebung von IBM (eingestellt, der Nachfolger ist [https://www.instantiations.com/VAST/ VAST]).
* {{Webarchiv |url=http://www.oovm.com/ |text=OOVM |wayback=20050306075224}}<ref>{{Webarchiv |url=http://javascriptjabber.com/008-jsj-v8-and-dart-with-lars-bak-and-kaspar-lund/ |text=008 JSJ V8 and Dart with Lars Bak and Kasper Lund |wayback=20140315230642}}, WOODY2SHOES am 14. März 2012.</ref> von [[Lars Bak (Informatiker)|Lars Bak]] et al. Smalltalk-Implementierung für [[Eingebettetes System|eingebettete Systeme]], die ohne darunterliegendes Betriebssystem auskommt und im laufenden Betrieb aktualisierbar ist.
* Bluebook-Implementationen von Smalltalk-80 in C++: von [https://github.com/dbanay/smalltalk dbanay] und [https://github.com/rochus-keller/Smalltalk/ rochus-keller] auf github

== Siehe auch ==
* [[Objective-C]]
* [[Self (Programmiersprache)]]
* [[Slate (Programmiersprache)]]
* [[Scratch (Programmiersprache)]]

== Literatur ==
* Adele Goldberg: ''Smalltalk-80, The Interactive Programming Environment.'' Addison-Wesley, 1983, ISBN 0-201-11372-4.
* Glen Krasner: ''Smalltalk-80, Bits of History, Words of Advice.'' Addison-Wesley, 1983, ISBN 0-201-11669-3.
* Johannes Brauer: ''Grundkurs Smalltalk · Objektorientierung von Anfang an. Eine Einführung in die Programmierung.'' 4. Auflage. Springer Vieweg, 2014, ISBN 978-3-658-00630-3.
* Sherman R. Alpert, Kyle Brown, Bobby Woolf: ''The Design Patterns Smalltalk Companion.'' Addison-Wesley Professional, 1998, ISBN 0-201-18462-1.
* Mark J. Guzdial: ''Squeak: Object-Oriented Design with Multimedia Applications.'' Prentice Hall, 2000, ISBN 0-13-028028-3.
* Mark J. Guzdial, Kimberly M. Rose: ''Squeak: Open Personal Computing and Multimedia.'' Prentice Hall, 2001, ISBN 0-13-028091-7.
* Günther Vinek: ''Objektorientierte Softwareentwicklung mit Smalltalk.'' Springer Verlag, 1997, ISBN 3-540-62558-5.
* Simon Lewis: ''The Art and Science of Smalltalk.'' Prentice Hall, 1995, ISBN 0-13-371345-8.
* Chamond Liu: ''Smalltalk, Objects and Design.'' iUniverse, 2000, ISBN 1-58348-490-6.
* Peter P. Bothner, Wolf-Michael Kähler: ''Smalltalk: Einführung in die objekt-orientierte Programmierung.'' Vieweg+Teubner, 1998, ISBN 3-528-05700-9.

== Weblinks ==
* [https://www.stic.st/ STIC] ist die Hersteller-unabhängige Lobby-Organisation
* [http://www.lisarein.com/alankay/tour.html Vortrag von Alan Kay] auf der O'Reilly Etech 2003 Presentation
* [http://stephane.ducasse.free.fr/FreeBooks.html Smalltalk-Bücher als PDF-Dokumente zum Herunterladen]

== Einzelnachweise ==
<references />

[[Kategorie:Objektorientierte Programmiersprache]]
[[Kategorie:Programmiersprache]]
[[Kategorie:Virtuelle Maschine]]

Smalltalk (Programmiersprache) - Versionsgeschichte

imported>UKoch: /* Wichtige Eigenschaften von Smalltalk */ Links versetzt, Kommata, Formulierungen