ALGOL 60

Die Programmiersprache Algol 60 wurde von 1958–1963 unter der Führung der Association for Computing Machinery (ACM) und der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM), später dann der International Federation for Information Processing (IFIP), entwickelt. Beteiligt waren unter anderem John Backus, Friedrich Ludwig Bauer, John McCarthy, Peter Naur, Alan J. Perlis, Heinz Rutishauser und Klaus Samelson. Der Name Algol ist eine Kurzform für Algorithmic Language, 60 steht für das Jahr der »Fastfertigstellung« (ein Diskussionsentwurf wurde als International Algorithmic Language (IAL) oder Algol 58 bekannt; die endgültige Fassung (als »Revised Report« tituliert) stammt aus dem Jahre 1963).

Der Sprachentwurf

Algol 60 war als international entwickelte, von kommerziellen Interessen unabhängige, portable, prozedurale Programmiersprache in erster Linie für wissenschaftliche, das hieß damals numerische, Zwecke gedacht. Es gab aber auch wichtige nichtnumerische Anwendungen, weil ihre Einfachheit und für damalige Verhältnisse weitgehende Freiheit von Restriktionen sie angenehm zu benutzen machte.

So wurde das Betriebssystem der Burroughs B5000 Rechner in einer ALGOL-Version (ESPOL) programmiert; ein anderes Beispiel ist ein bibliothekarisches Katalogsystem für die Telefunken TR 4. Vgl. auch die Sprache JOVIAL, von ALGOL 58 abgeleitet, die jahrzehntelang zur Programmierung von Prozessrechnern in der Luft- und Raumfahrt (Avionik) diente.

Algol 60 war ein Meilenstein in der Geschichte der Programmiersprachen:

• Mit ihr begann die saubere Definition von Spracheigenschaften unabhängig von (und vor) jeder Implementierung (anders als dies noch bei LISP war^[1]).
• Der Algol 60 Report führte die formale Definition der Syntax mit Hilfe der Backus-Naur-Form ein, die bald allgemein üblich wurde.
• ALGOL zeigte den Wert eines klaren und einfachen Sprachkerns auf, eine Erfahrung, die bald Peter Landin zu seinem Sprachentwurf ISWIM inspirieren und so die meisten nach ALGOL entwickelten Programmiersprachen beeinflussen sollte.
• ALGOL schrieb – gegen den Trend der Zeit – Laufzeitprüfungen vor, eine Entscheidung, die erst langsam gewürdigt und nachgeahmt wurde.
• Auch die Unterscheidung zwischen der Sprache an sich und ihrer technischen (Eingabe-) Darstellung (die auf vorhandenen Geräte Rücksicht nehmen musste) fand Beifall, aber nur wenige Nachfolger. ^[2]

Als (unerwartet) großes Problem erwies sich, dass die Ein-/Ausgabe nicht geregelt worden war, so dass deren Implementierungen stark zwischen den Compilern variieren. Beispielsweise wird ein Text einmal mit dem OUTSTRING- und einmal mit dem WRITETEXT-Befehl (beispielsweise bei der Electrologica X1) ausgegeben.

Eigenschaften

Die Methode der sequentiellen Formelübersetzung von Bauer und Samelson ermöglichte es, auf viele Restriktionen zu verzichten, wie sie etwa FORTRAN kannte. Die darin enthaltene Idee des Kellerspeichers ermöglichte dann auch rekursive Prozeduren (Dijkstra).

Vom λ-Kalkül inspiriert war die Möglichkeit innerer Prozedurdefinitionen (»Blockstruktur«). ‚begin‘-Blöcke (anonyme Prozeduren) wurden vor allem dazu benutzt, Felder mit variablen Grenzen im Kellerspeicher anzulegen. Sichtbarkeit und Gültigkeitsbereich der Variablen waren dabei korrekt lexikalisch definiert. Vorgesehen waren auch ‚own‘-Variablen, deren Lebensdauer der Programmlauf sein sollte (vgl. ‚static‘ in C); gerade dies wurde aber häufig nicht implementiert.

Ebenfalls vom λ-Kalkül waren die Parameterübergabe-Modi genommen:

• Wertparameter (Schlüsselwort ‚value‘) wurden vor dem Aufruf ausgewertet (Strikte Auswertung – »erst Auswerten, dann Einsetzen«).
• Für Namensparameter, default, war die Semantik einer textuellen Einsetzung vorgeschrieben (Nichtstrikte (lazy) Auswertung – »erst Einsetzen, dann Auswerten«). Dies führte im Zusammenhang mit Speichervariablen zu gewissen Schwierigkeiten, erlaubte im Prinzip aber eine elegante Formulierung von Integralen und ähnlichen Aufgaben:

  integriere (alpha*x*x, x, a, b) 

(Jensen's device). Zur Implementierung verwandte man thunks, Closures von anonymen Funktionen (und benannt »nach dem Geräusch, das sie auf der 7090 machten«).

Algol führte mit LISP das Prinzip der Formatfreiheit in Programmiersprachen ein. Dabei hat ein Schlüsselwort immer dieselbe Bedeutung, unabhängig von der Position im Programm. Außerdem ist der Beginn einer neuen Zeile dem Leerzeichen gleichgestellt. In den damals vorherrschenden Sprachen FORTRAN und COBOL war die Positionierung der Anweisungen auf den Lochkarten dagegen entscheidend – ein Schlüsselwort konnte je nach Position eine andere Bedeutung haben. Auch die Zeileneinteilung war bei diesen Sprachen nicht frei.

Beispiel

Das folgende (vollständige) Algol-60-Programm gibt "HALLO, WELT" auf dem Ausgabekanal 2 aus:

'COMMENT' HALLO, WELT PROGRAMM IN ALGOL 60;
 'BEGIN'
    OUTSTRING(2,'('HALLO, WELT')');
 'END'

Wirkungen/Bedeutung/Nachfolger

ALGOL war ein Fortschritt gegenüber den meisten seiner Nachfolger. -- C. A. R. Hoare.

In der Praxis fand Algol weniger Anwendung als FORTRAN oder COBOL; das minderte aber nicht seinen langfristigen Einfluss (s. o.). Lange Zeit war Algol 60 im akademischen Bereich vorbildlich.

Der wichtigste Nachfolger war Simula 67.

Nach John C. Reynolds folgten die meisten Sprachen nicht Algol 60 sondern ISWIM; er selbst stellte mit Forsythe eine Fortentwicklung in der Algol-Tradition vor. [1]

Algol 68 war dem Namen zum Trotz ein völliger Neuentwurf, der ein geteiltes Echo fand. Niklaus Wirth entwickelte alternativ Algol W, woraus in der Weiterentwicklung Pascal werden sollte.

Siehe auch

• Liste der Programmiersprachen
• Namensparameter

Literatur

• H.T. de Beer: The History of the ALGOL Effort. [2] 2006. – vi, 97 pp. (M.Sc. thesis, TU Eindhoven)
• Heinz Rutishauser: Description of Algol 60. – Berlin, 1967. (Handbook for automatic computation; 1,a)
• Albert A. Grau; U. Hill; Hans Langmaack: Translation of Algol 60. – Berlin, 1967. (Handbook for automatic computation; 1,b)

Weblinks

• http://www.gnu.org/software/marst/marst.html - MARST: an Algol-to-C translator

Anmerkungen

1. ↑ Erst mit Scheme wurde das anders; später wurde auch in Common-Lisp der Geburtsfehler des dynamischen Geltungsbereichs (dynamic scope) korrigiert.
2. ↑ Etwa Fortress. Vgl. ISWIM und Pepper/Hofstedt, Funktionale Programmierung (2006), »Jenseits von ASCII« (S. 4)