Algol 60

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die Programmiersprache Algol 60 wurde 19581963 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 W. Backus, Friedrich L. Bauer, John McCarthy, Peter Naur, Alan J. Perlis, Heinz Rutishauser und Klaus Samelson. Der Name Algol ist eine Kurzform für Algorithmic Language[1], 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[Bearbeiten]

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. Ihre Einfachheit, und die für damalige Verhältnisse weitgehende Freiheit von Restriktionen, machte sie angenehm zu benutzen.

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 exakte Definition von Spracheigenschaften unabhängig von (und vor) jeder Implementierung (anders als dies noch bei LISP war[2]).
  • Der Algol 60 Report führte die formale Definition der Syntax mit Hilfe der Backus-Naur-Form ein, die bald allgemein üblich wurde.[3]
  • 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.[4]

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[Bearbeiten]

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 Stapelspeichers ermöglichte dann auch rekursive Prozeduren (Edsger W. 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[Bearbeiten]

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[Bearbeiten]

„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.[5]

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[Bearbeiten]

Literatur[Bearbeiten]

  • H.T. de Beer: The History of the ALGOL Effort. (PDF; 1,2 MB) 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)
  • Rudolf Herschel: Anleitung zum praktischen Gebrauch von ALGOL 60, 4. Auflage, 1969, R. Oldenbourg Verlag, München
  •  F.E.J. Kruseman Aretz: The Dijkstra-Zonneveld ALGOL 60 compiler for the Electrologica X1. In: ReportRapport SEN Software Engineering. SEN-N0301, Stichting Centrum voor Wiskunde en Informatica, Amsterdam 2003, ISSN 1386-3711 (online).

Weblinks[Bearbeiten]

Einzelnachweise und Anmerkungen[Bearbeiten]

  1. Laut Friedrich L. Bauer geht die Namensprägung aus dem Jahre 1957 (wenigstens in Deutschland) auf Hermann Bottenbruch zurück (Friedrich L. Bauer).
  2. Erst mit Scheme wurde das anders; später wurde auch in Common-Lisp der Geburtsfehler des dynamischen Geltungsbereichs (dynamic scope) korrigiert.
  3. J. W. Backus et al, Revised Report on the Algorithmic Language Algol 60, Numerische Mathematik 4, S. 420–453 (1963)
  4. Etwa Fortress. Vgl. ISWIM und Pepper, Hofstedt: Funktionale Programmierung (2006), Jenseits von ASCII (S. 4)
  5. CiteSeerX