Algol 68

In Algol 68 gibt es folgende reservierten Symbole:

mode, op, prio, proc,
flex, heap, loc, long, ref, short,
struct, union,
of, at, is, isnt, true, false, empty, nil, skip,
co, comment, pr, pragmat,
case, in, ouse, out, esac,
for, from, to, by, while, do, od,
if, then, elif, else, fi
par, begin, end, go, to, goto, exit.

Für einige dieser Symbole gibt es Abkürzungen:

p is q     ↦ p :=: q
r isnt nil ↦ r :/=: ∘
skip ↦ ~
at   ↦ @ 
co   ↦ ¢
case x in a, b ouse y in c, d, e out f esac ↦ ( x | a, b |: y | c, d, e | f )
if x then a elif y then b else c fi         ↦ ( x | a |: y | b | c )
begin a; b; c end                           ↦ ( a; b; c )

Die Bezeichnungen für Modes und Operatoren werden mit dem gleichen Zeichensatz geschrieben wie die reservierten Symbole, sind aber nicht reserviert, sondern können mit einer anderen Bedeutung deklariert werden, die dann innerhalb eines Blocks gilt. Folgende Modes sind ohne explizite Deklaration definiert:

bits, bool, bytes, char, compl, int, real, sema, string, void,
channel, file, format

Compiler-Anweisungen werden in das Programm eingefügt. Sie enthalten typischerweise Hinweise für den Compiler, z. B.:

pragmat heap=32 pragmat
pr heap=32 pr

Kommentare können auf verschiedene Arten eingefügt werden:

¢ Der ursprüngliche Weg einen Kommentar hinzuzufügen (analog der englischen Phrase: Adding your 2 cents) ¢
comment "bold" comment comment
co Kommentar 1. Form co
# Kommentar 2. Form #
£ Dieser Kommentar benutzt das hash/pound Zeichen einer UK Tastatur £

Normalerweise können Kommentare in Algol 68 nicht geschachtelt werden. Diese Einschränkung kann umgangen werden, indem unterschiedliche Kommentarsymbole verwendet werden (z. B. Der Hash wird nur für kurzzeitiges Löschen verwendet).

Algol 68 bezeichnet Datentypen als Modes. Die grundlegenden Modes real, int, compl, bool, char, bits, bytes und void können auf verschiedene Weise zu weiteren Modes kombiniert werden. Bezeichnungen der Modes werden u. a. zur Deklaration von Konstanten verwendet, zum Beispiel:

int n = 2; co n ist eine Konstante mit dem Wert 2. co
real avogadro = 6.0221415⏨23; co Avogadrozahl co
long long real pi = 3.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510;
compl square root of minus one = 0 ⊥ 1

Der Datentyp void umfasst nur einen einzigen Wert, nämlich empty, hat also keinen Informationsgehalt. Damit werden Ausdrücke und Funktionen charakterisiert, die kein verwertbares Ergebnis liefern; so werden die Konzepte Ausdruck und Anweisung vereinheitlicht, ebenso Funktion und Prozedur. Beispiele:

exit;     ¢ Ausdruck vom Mode void, entspricht der FORTRAN-Anweisung STOP ¢
print(f); ¢ Ausdruck vom Mode void, da print keinen Funktionswert liefert ¢
7*"8";    ¢ Ausdruck vom Mode string mit dem Wert "8888888"               ¢
proc (int)int  doppelt     = (int i)int : i*2;          ¢ Funktion mit int-Ergebnis ¢
proc (int)void wellenlinie = (int n)void: print(n*"~"); ¢ Prozedur (ohne Ergebnis)  ¢

Statt modes wie DOUBLE, beziehungsweise LONG und SHORT, etc. gibt es in Algol 68 Modifizierer. So wird zum Beispiel long real oder long long real statt DOUBLE geschrieben. Typattribute wie small real (kleinster real-Wert, der bei Addition zu 1.0 ein Ergebnis ungleich 1.0 liefert) und max long int (größter darstellbarer long-int-Wert) sind Konstanten, die die Eigenschaften der jeweiligen Implementierung beschreiben; sie werden verwendet, um Programme an verschiedene Implementierungen anzupassen.

Alle Bezeichner, etwa für Konstanten, Namen (entspricht Variablen und Pointern in früheren Programmiersprachen) oder Funktionen, müssen vereinbart werden; die Vereinbarung muss nicht vor der ersten Verwendung gemacht werden, aber natürlich ist für deren Sichtbarkeits-Bereich die Blockstruktur zu beachten. Viele Standard-Bezeichner etwa print oder max intsind in einem fiktiven, das gesamte Programm umgebenden, Block deklariert.

Dazu dient einheitlich die sogenannte Äquivalenz-Deklaration, mit der einem Bezeichner eine Bedeutung, bestehend aus Mode und Wert, zugewiesen wird. Beispiele:

co Konstanten co
  int  f = 5;               ¢ der Bezeichner f bezeichnet nun den int-Wert 5                          ¢
  real z = f/2;             ¢ der Bezeichner z bezeichnet nun den real-Wert 2.5                       ¢
  real r = random;          ¢ der Wert der Konstanten r wird erst zur Laufzeit des Programms bestimmt ¢
co Variable  co
  ref int v = loc int;      ¢ v bezeichnet eine neu deklarierte lokale int-Variable                   ¢
  ref int w = loc int := f; ¢ w bezeichnet eine lokale int-Variable mit Anfangswert 5                 ¢
co Funktionen co
  proc (real)real h = (real x)real: x/2; ¢ h bezeichnet eine real-Funktion mit real-Parameter         ¢

Konstanten, Variable, Pointer und Funktionen können jedoch auch anonym, also ohne Deklaration verwendet werden. Das bietet sich an, wenn man die betreffende Entity nur an einer Stelle im Programm benötigt. Beispiel:

¢ integral sei eine Funktion, die ein bestimmtes Integral über einer real-Funktion berechnet.   ¢
¢ Die zu integrierende Funktion kann man entweder namentlich oder anonym an integral übergeben; ¢
¢ die zu integrierende Funktion hat offensichtlich den Mode proc(real)real                      ¢
print(("Integral x/2    von 0 bis 3 =", integral (h,   0, 3 )));                ¢ h siehe oben ¢
print(("Integral sin(x) von 0 bis π =", integral (sin, 0, pi)));                ¢ sin und pi sind Standard-Bezeichner ¢
print(("Integral (2x+1) von 0 bis 1 =", integral ((real x)real: 2*x+1, 0, 1))); ¢ Anonyme Funktion ¢

Ähnlich wie Bezeichner können Modes und Operatoren deklariert werden. Beispiele:

mode rfun = proc(real)real; ¢ rfun ist der Mode einer real-Funktion mit real-Parameter ¢

¢ Operatoren sind Funktionen in anderer Gestalt; also werden sie wie Funktionen deklariert: ¢
op (string,int)string * = (string s, int n)string: n*s;
print("/\"*17);             ¢ im Gültigkeitsbereich der obigen op-Deklaration druckt das dasselbe wie print(17*"/\") ¢

Für einige gängige Äquivalenz-Deklarationen gibt es Abkürzungen. Zum Beispiel:

loc int v;                           ¢ statt ref int v = loc int – int-Variable ¢
loc int w := f;                      ¢ statt ref int w = loc int := f – int-Variable mit Anfangswert ¢
int w := f;                          ¢ statt ref int w = loc int := f ¢
proc h = (real x)real: x/2;          ¢ statt proc (real)real h = (real x)real: x/2 ¢
op * = (string s, int n)string: n*s; ¢ statt op (string,int)string * = (string s, int n)string: n*s ¢

Die Zeichen, mit denen Algol-68-Programme (in Beschreibungen, auch im vorliegenden Wikipedia-Artikel) geschrieben werden, standen 1968 auf keinem Computer zur Verfügung; das gilt insbesondere für die fette Schrift, in der Modes, Operatoren und reservierte Symbole geschriebenen werden. Fehlende Operator-Zeichen können durch Wortsymbole ersetzt werden, etwa < durch lt. Aber dann muss immer noch die fette Schrift von der regulären unterschieden werden. Der Report sieht dafür eine Stropping Convention vor. Das Wort Stropping wird sonst nur im Friseur-Handwerk benutzt und bezeichnet das Schärfen des Rasiermessers.

Die verbreitetste Stropping-Konvention wurde zusammen mit dem Revised Report veröffentlicht.^[1] Diese Standard-Hardware-Darstellung unterscheidet drei Stropping-Varianten, die jeweils durch ein Pragmat angekündigt werden. In allen drei Konventionen beendet ein Leerzeichen oder ein anderes Trennzeichen das Wortsymbol.

Diese Konvention ist immer aktiv, muss also nicht explizit angekündigt werden.^[2] Groß- und Kleinbuchstaben werden nicht unterschieden; Wortsymbole werden durch einen vorangestellten Punkt markiert. Das Hallo-Welt-Programm (süddeutsche Variante)

begin print(("Grüß Gott!", new line)) end

kann demnach so geschrieben werden:

.BEGIN PRINT(("Grüß Gott!", NEW LINE)) .END

Hier werden die Wortsymbole in Versalien geschrieben, Bezeichner dürfen keine Versalien enthalten. Das Hallo-Welt-Programm sieht dann so aus:

.PR UPPER .PR
BEGIN print(("Grüß Gott!", new line)) END

Hier werden 61 reservierte Wörter erkannt, weitere Wortsymbole müssen per Point Stropping markiert werden. Mit Unterstrich werden Bezeichner markiert, die sonst als reserviertes Wort erkannt würden; der Unterstrich kann auch statt des Leerzeichens eingesetzt werden, um einen Bezeichner zu gliedern. Das Hallo-Welt-Programm sieht dann so aus:

.PR RES .PR
BEGIN PRINT(("Grüß Gott!", NEW_LINE)) END

• Adriaan van Wijngaarden et al.: Revised Report on the Algorithmic Language ALGOL 68. In: Acta Informatica. Vol. 5, No. 1/3, 1975, ISSN 0001-5903, S. 1–236, online (PDF, 1,4 MB).
• Charles H. Lindsey, Sietse G. van der Meulen: Informal Introduction to Algol 68. revised edition, second printing. North Holland, Amsterdam · New York · Oxford 1981, ISBN 0-7204-0726-5 (englisch, inria.fr [PDF; 18,4 MB; abgerufen am 18. Oktober 2021]). 
• Andrew S. Tanenbaum: A Tutorial on ALGOL 68. In: ACM Computing Surveys. Vol. 8, No. 2, 1976, ISSN 0360-0300, S. 155–190.
• Sian Leitch: Programming Algol 68. Made Easy (Memento vom 8. Februar 2012 im Internet Archive). (PDF; 1,36 MB).

• Revised Report on the Algorithmic Language ALGOL 68. (Memento vom 17. Oktober 2007 im Internet Archive)
• An ALGOL 68 interpreter
• 99 bottles of beer Beispielprogramm

1. ↑ Wilfred J. Hansen; Hendrik Boom: The Report on the Standard Hardware Representation for ALGOL 68. In: ACM SIGPLAN Notices. Band 12, Nr. 5, Mai 1977, S. 80–87 (Scan [abgerufen am 23. Januar 2023]). 
2. ↑ Das Pragmat .PR POINT .PR schaltet gegebenenfalls andere Stropping-Varianten aus.