ALGOL 68

History

Origins

ALGOL 68, as the name implies, is a follow-on to the ALGOL language that was first formalized in 1960. That same year the International Federation for Information Processing (IFIP) formed and started the Working Group on ALGOL, or WG2.1. This group released an updated ALGOL 60 specification in Rome in April 1962. At a follow-up meeting in March 1964, it was agreed that the group should begin work on two follow-on standards, ALGOL X, which would be a redefinition of the language with some additions, and ALGOL Y, which would have the ability to modify its own programs in the style of the language LISP.

Definition process

The first meeting of the ALGOL X group was held in Princeton University in May 1965. A report of the meeting noted two broadly supported themes, the introduction of strong typing and interest in Euler's concepts of 'trees' or 'lists' for handling collections. Although intended as a "short-term solution to existing difficulties", ALGOL X got as far as having a compiler made for it. This compiler was written by Douglas T. Ross of the Massachusetts Institute of Technology (MIT) with the Automated Engineering Design (AED-0) system, also termed ALGOL Extended for Design.

At the second meeting in October in France, three formal proposals were presented, Niklaus Wirth's ALGOL W along with comments about record structures by C.A.R. (Tony) Hoare, a similar language by Gerhard Seegmüller, and a paper by Adriaan van Wijngaarden on "Orthogonal design and description of a formal language". The latter, written in almost indecipherable "W-Grammar", proved to be a decisive shift in the evolution of the language. The meeting closed with an agreement that van Wijngaarden would re-write the Wirth/Hoare submission using his W-Grammar.

This seemingly simple task ultimately proved more difficult than expected, and the follow-up meeting had to be delayed six months. When it met in April 1966 in Kootwijk, van Wijngaarden's draft remained incomplete and Wirth and Hoare presented a version using more traditional descriptions. It was generally agreed that their paper was "the right language in the wrong formalism". As these approaches were explored, it became clear there was a difference in the way parameters were described that would have real-world effects, and while Wirth and Hoare protested that further delays might become endless, the committee decided to wait for van Wijngaarden's version. Wirth then implemented their current definition as ALGOL W.

At the next meeting in Warsaw in October 1966, there was an initial report from the I/O Subcommittee who had met at the Oak Ridge National Laboratory and the University of Illinois but had not yet made much progress. The two proposals from the previous meeting were again explored, and this time a new debate emerged about the use of pointers; ALGOL W used them only to refer to records, while van Wijngaarden's version could point to any object. To add confusion, John McCarthy presented a new proposal for operator overloading and the ability to string together and and or constructs, and Klaus Samelson wanted to allow anonymous functions. In the resulting confusion, there was some discussion of abandoning the entire effort. The confusion continued through what was supposed to be the ALGOL Y meeting in Zandvoort in May 1967.

Publication

A draft report was finally published in February 1968. This was met by "shock, horror and dissent", mostly due to the hundreds of pages of unreadable grammar and odd terminology. Charles H. Lindsey attempted to figure out what "language was hidden inside of it", a process that took six man-weeks of effort. The resulting paper, "ALGOL 68 with fewer tears", was widely circulated. At a wider information processing meeting in Zürich in May 1968, attendees complained that the language was being forced upon them and that IFIP was "the true villain of this unreasonable situation" as the meetings were mostly closed and there was no formal feedback mechanism. Wirth and Peter Naur formally resigned their authorship positions in WG2.1 at that time.

The next WG2.1 meeting took place in Tirrenia in June 1968. It was supposed to discuss the release of compilers and other issues, but instead devolved into a discussion on the language. van Wijngaarden responded by saying (or threatening) that he would release only one more version of the report. By this point Naur, Hoare, and Wirth had left the effort, and several more were threatening to do so. Several more meetings followed, North Berwick in August 1968, Munich in December which produced the release of the official Report in January 1969 but also resulted in a contentious Minority Report being written. Finally, at Banff, Alberta in September 1969, the project was generally considered complete and the discussion was primarily on errata and a greatly expanded Introduction to the Report.

The effort took five years, burned out many of the greatest names in computer science, and on several occasions became deadlocked over issues both in the definition and the group as a whole. Hoare released a "Critique of ALGOL 68" almost immediately, which has been widely referenced in many works. Wirth went on to further develop the ALGOL W concept and released this as Pascal in 1970.

Implementations

ALGOL 68-R

The first implementation of the standard, based on the late-1968 draft Report, was introduced by the Royal Radar Establishment in the UK as ALGOL 68-R in July 1970. This was, however, a subset of the full language, and Barry Mailloux, the final editor of the Report, joked that "It is a question of morality. We have a Bible and you are sinning!" This version nevertheless became very popular on the ICL machines, and became a widely used language in military coding, especially in the UK.

Among the changes in 68-R was the requirement for all variables to be declared before their first use. This had a significant advantage that it allowed the compiler to be one-pass, as space for the variables in the activation record was set aside before it was used. However, this change also had the side-effect of demanding the PROCs be declared twice, once as a declaration of the types, and then again as the body of code. Another change was to eliminate the assumed VOID mode, an expression that returns no value (named a statement in other languages) and demanding the word VOID be added where it would have been assumed. Further, 68-R eliminated the explicit parallel processing commands based on PAR.

Others

The first full implementation of the language was introduced in 1974 by CDC Netherlands for the Control Data mainframe series. This saw limited use, mostly teaching in Germany and the Netherlands.

A version similar to 68-R was introduced from Carnegie Mellon University in 1976 as 68S, and was again a one-pass compiler based on various simplifications of the original and intended for use on smaller machines like the DEC PDP-11. It too was used mostly for teaching purposes.

A version for IBM mainframes did not become available until 1978, when one was released from Cambridge University. This was "nearly complete". Lindsey released a version for small machines including the IBM PC in 1984.

Three open source Algol 68 implementations are known:

• a68g, GPLv3, written by Marcel van der Veer.
• algol68toc, an open-source software port of ALGOL 68RS.
• ga68, a frontend for GCC, written by Jose E. Marchesi.

Timeline

• "A Shorter History of Algol 68"
• ALGOL 68 – 3rd generation ALGOL

The Algorithmic Language ALGOL 68 Reports and Working Group members

• March 1968: Draft Report on the Algorithmic Language ALGOL 68 – Edited by: Adriaan van Wijngaarden, Barry J. Mailloux, John Peck and Cornelis H. A. Koster.

"Van Wijngaarden once characterized the four authors, somewhat tongue-in-cheek, as: Koster: transputter, Peck: syntaxer, Mailloux: implementer, Van Wijngaarden: party ideologist." – Koster.

• October 1968: Penultimate Draft Report on the Algorithmic Language ALGOL 68 — Chapters 1–9 Chapters 10–12 — Edited by: A. van Wijngaarden, B.J. Mailloux, J. E. L. Peck and C. H. A. Koster.
• December 1968: Report on the Algorithmic Language ALGOL 68 — Offprint from Numerische Mathematik, 14, 79–218 (1969); Springer-Verlag. — Edited by: A. van Wijngaarden, B. J. Mailloux, J. E. L. Peck and C. H. A. Koster.
• March 1970: Minority report, ALGOL Bulletin AB31.1.1 — signed by Edsger Dijkstra, Fraser Duncan, Jan Garwick, Tony Hoare, Brian Randell, Gerhard Seegmüller, Wlad Turski, and Mike Woodger.
• September 1973: Revised Report on the Algorithmic Language Algol 68 — Springer-Verlag 1976 — Edited by: A. van Wijngaarden, B. Mailloux, J. Peck, K. Koster, Michel Sintzoff, Charles H. Lindsey, Lambert Meertens and Richard G. Fisker.
• other WG 2.1 members active in ALGOL 68 design: Friedrich L. Bauer • Hans Bekic • Gerhard Goos • Peter Zilahy Ingerman • Peter Landin • John McCarthy • Jack Merner • Peter Naur • Manfred Paul • Willem van der Poel • Doug Ross • Klaus Samelson • Niklaus Wirth • Nobuo Yoneda.

Timeline of standardization

1968: On 20 December 1968, the "Final Report" (MR 101) was adopted by the Working Group, then subsequently approved by the General Assembly of UNESCO's IFIP for publication. Translations of the standard were made for Russian, German, French and Bulgarian, and then later Japanese and Chinese. The standard was also made available in Braille.

1984: TC 97 considered ALGOL 68 for standardisation as "New Work Item" TC97/N1642 . West Germany, Belgium, Netherlands, USSR and Czechoslovakia willing to participate in preparing the standard but the USSR and Czechoslovakia "were not the right kinds of member of the right ISO committees" and Algol 68's ISO standardisation stalled.

1988: Subsequently ALGOL 68 became one of the GOST standards in Russia.

• GOST 27974-88 Programming language ALGOL 68 — Язык программирования АЛГОЛ 68
• GOST 27975-88 Programming language ALGOL 68 extended — Язык программирования АЛГОЛ 68 расширенный

Notable language elements

Bold symbols and reserved words

The standard language contains about sixty reserved words, typically bolded in print, and some with "brief symbol" equivalents:

<b id="mwAk8">MODE</b>, <b id="mwAlA">OP</b>, <b id="mwAlE">PRIO</b>, <b id="mwAlI">PROC</b>, <b id="mwAlM">FLEX</b>, <b id="mwAlQ">HEAP</b>, <b id="mwAlU">LOC</b>, <b id="mwAlY">LONG</b>, <b id="mwAlc">REF</b>, <b id="mwAlg">SHORT</b>, <b id="mwAlk">BITS</b>, <b id="mwAlo">BOOL</b>, <b id="mwAls">BYTES</b>, <b id="mwAlw">CHAR</b>, <b id="mwAl0">COMPL</b>, <b id="mwAl4">INT</b>, <b id="mwAl8">REAL</b>, <b id="mwAmA">SEMA</b>, <b id="mwAmE">STRING</b>, <b id="mwAmI">VOID</b>, <b id="mwAmM">CHANNEL</b>, <b id="mwAmQ">FILE</b>, <b id="mwAmU">FORMAT</b>, <b id="mwAmY">STRUCT</b>, <b id="mwAmc">UNION</b>, <b id="mwAmg">AT</b> "@", <b id="mwAmk">EITHER</b><sup id="mwAmo"><a rel="mw:WikiLink" href="./ALGOL_68#The_language_of_the_unrevised_report" class="mw-selflink-fragment" id="mwAms">r0</a></sup>, <b id="mwAmw">IS</b> ":=:", <b id="mwAm0">ISNT</b> <b id="mwAm4">IS NOT</b><sup id="mwAm8"><a rel="mw:WikiLink" href="./ALGOL_68#The_language_of_the_unrevised_report" class="mw-selflink-fragment" id="mwAnA">r0</a></sup> ":/=:" ":≠:", <b id="mwAnE">OF</b> "→"<sup id="mwAnI"><a rel="mw:WikiLink" href="./ALGOL_68#The_language_of_the_unrevised_report" class="mw-selflink-fragment" id="mwAnM">r0</a></sup>, <b id="mwAnQ">TRUE</b>, <b id="mwAnU">FALSE</b>, <b id="mwAnY">EMPTY</b>, <b id="mwAnc">NIL</b> "○", <b id="mwAng">SKIP</b> "~", <b id="mwAnk">CO</b> "¢", <b id="mwAno">COMMENT</b> "¢", <b id="mwAns">PR</b>, <b id="mwAnw">PRAGMAT</b>, <b id="mwAn0">CASE</b> ~ <b id="mwAn4">IN</b> ~ <b id="mwAn8">OUSE</b> ~ <b id="mwAoA">IN</b> ~ <b id="mwAoE">OUT</b> ~ <b id="mwAoI">ESAC</b> "( ~ | ~ |: ~ | ~ | ~ )", <b id="mwAoM">FOR</b> ~ <b id="mwAoQ">FROM</b> ~ <b id="mwAoU">TO</b> ~ <b id="mwAoY">BY</b> ~ <b id="mwAoc">WHILE</b> ~ <b id="mwAog">DO</b> ~ <b id="mwAok">OD</b>, <b id="mwAoo">IF</b> ~ <b id="mwAos">THEN</b> ~ <b id="mwAow">ELIF</b> ~ <b id="mwAo0">THEN</b> ~ <b id="mwAo4">ELSE</b> ~ <b id="mwAo8">FI</b> "( ~ | ~ |: ~ | ~ | ~ )", <b id="mwApA">PAR</b> <b id="mwApE">BEGIN</b> ~ <b id="mwApI">END</b> "( ~ )", <b id="mwApM">GO TO</b>, <b id="mwApQ">GOTO</b>, <b id="mwApU">EXIT</b> "□"<sup id="mwApY"><a rel="mw:WikiLink" href="./ALGOL_68#The_language_of_the_unrevised_report" class="mw-selflink-fragment" id="mwApc">r0</a></sup>.

Units: Expressions

The basic language construct is the unit. A unit may be a formula, an enclosed clause, a routine text or one of several technically needed constructs (assignation, jump, skip, nihil). The technical term enclosed clause unifies some of the inherently bracketing constructs known as block, do statement, switch statement in other contemporary languages. When keywords are used, generally the reversed character sequence of the introducing keyword is used for terminating the enclosure, e.g. ( IF ~ THEN ~ ELSE ~ FI, CASE ~ IN ~ OUT ~ ESAC, FOR ~ WHILE ~ DO ~ OD ). This Guarded Command syntax was reused by Stephen Bourne in the common Unix Bourne shell. An expression may also yield a multiple value, which is constructed from other values by a collateral clause. This construct just looks like the parameter pack of a procedure call.

mode: Declarations

The basic data types (called modes in Algol 68 parlance) are real, int, compl (complex number), bool, char, bits and bytes. For example:

<b id="mwAsE">INT</b> n = 2; <b id="mwAsI">CO</b> n is fixed as a constant of 2. <b id="mwAsM">CO</b> <b id="mwAsQ">INT</b> m := 3; <b id="mwAsU">CO</b> m is a newly created local <i id="mwAsY">variable</i> whose value is initially set to 3. <b id="mwAsc">CO</b> <b id="mwAsg">CO</b> This is short for <b id="mwAsk">ref</b> <b id="mwAso">int</b> m = <b id="mwAss">loc</b> <b id="mwAsw">int</b> := 3; <b id="mwAs0">CO</b> <b id="mwAs4">REAL</b> avogadro = 6.0221415⏨23; <b id="mwAs8">CO</b> Avogadro number <b id="mwAtA">CO</b> <b id="mwAtE">long long real</b> long long pi = 3.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510; <b id="mwAtI">COMPL</b> square root of minus one = 0 ⊥ 1;

However, the declaration REAL x; is just syntactic sugar for REF REAL x = LOC REAL;. That is, x is really the constant identifier for a reference to a newly generated local REAL variable.

Furthermore, instead of defining both float and double, or int and long and short, etc., ALGOL 68 provides modifiers, so that the presently common double would be written as LONG REAL or LONG LONG REAL instead, for example. The prelude constants max real and min long int are provided to adapt programs to different implementations.

All variables need to be declared, but declaration does not have to precede the first use.

primitive-declarer: INT, REAL, COMPL, COMPLEX^G, BOOL, CHAR, STRING, BITS, BYTES, FORMAT, FILE, PIPE^G, CHANNEL, SEMA

• BITS – a "packed vector" of BOOL.
• BYTES – a "packed vector" of CHAR.
• STRING – a FLEXible array of CHAR.
• SEMA – a SEMAphore which can be initialised with the OPerator LEVEL.

Complex types can be created from simpler ones using various type constructors:

• REF mode – a reference to a value of type mode, similar to & in C/C++ and REF in Pascal
• STRUCT – used to build structures, like STRUCT in C/C++ and RECORD in Pascal
• UNION – used to build unions, like in C/C++ and Pascal
• PROC – used to specify procedures, like functions in C/C++ and procedures/functions in Pascal

Other declaration symbols include: FLEX, HEAP, LOC, REF, LONG, SHORT, EVENT^S

• FLEX – declare the array to be flexible, i.e. it can grow in length on demand.
• HEAP – allocate variable some free space from the global heap.
• LOC – allocate variable some free space of the local stack.
• LONG – declare an INT, REAL or COMPL to be of a LONGer size.
• SHORT – declare an INT, REAL or COMPL to be of a SHORTer size.

A name for a mode (type) can be declared using a MODE declaration, which is similar to TYPEDEF in C/C++ and TYPE in Pascal:

<b id="mwA0Q">INT</b> max=99; <b id="mwA0U">MODE</b> <b id="mwA0Y">NEWMODE</b> = [0:9][0:max]<b id="mwA0c">STRUCT</b> ( <b id="mwA0g">LONG</b> <b id="mwA0k">REAL</b> a, b, c, <b id="mwA0o">SHORT</b> <b id="mwA0s">INT</b> i, j, k, <b id="mwA0w">REF</b> <b id="mwA00">REAL</b> r );

This is similar to the following C code:

<span id="mwA1E"></span><span class="w" id="mwA1I"> </span><span class="k" id="mwA1M">const</span><span class="w" id="mwA1Q"> </span><span class="kt" id="mwA1U">int</span><span class="w" id="mwA1Y"> </span><span class="n" id="mwA1c">max</span><span class="o" id="mwA1g">=</span><span class="mi" id="mwA1k">99</span><span class="p" id="mwA1o">;</span> <span class="w" id="mwA1s"> </span><span class="k" id="mwA1w">typedef</span><span class="w" id="mwA10"> </span><span class="k" id="mwA14">struct</span><span class="w" id="mwA18"> </span><span class="p" id="mwA2A">{</span> <span class="w" id="mwA2E"> </span><span class="kt" id="mwA2I">double</span><span class="w" id="mwA2M"> </span><span class="n" id="mwA2Q">a</span><span class="p" id="mwA2U">,</span><span class="w" id="mwA2Y"> </span><span class="n" id="mwA2c">b</span><span class="p" id="mwA2g">,</span><span class="w" id="mwA2k"> </span><span class="n" id="mwA2o">c</span><span class="p" id="mwA2s">;</span><span class="w" id="mwA2w"> </span><span class="kt" id="mwA20">short</span><span class="w" id="mwA24"> </span><span class="n" id="mwA28">i</span><span class="p" id="mwA3A">,</span><span class="w" id="mwA3E"> </span><span class="n" id="mwA3I">j</span><span class="p" id="mwA3M">,</span><span class="w" id="mwA3Q"> </span><span class="n" id="mwA3U">k</span><span class="p" id="mwA3Y">;</span><span class="w" id="mwA3c"> </span><span class="kt" id="mwA3g">float</span><span class="w" id="mwA3k"> </span><span class="o" id="mwA3o">*</span><span class="n" id="mwA3s">r</span><span class="p" id="mwA3w">;</span> <span class="w" id="mwA30"> </span><span class="p" id="mwA34">}</span><span class="w" id="mwA38"> </span><span class="n" id="mwA4A">newmode</span><span class="p" id="mwA4E">[</span><span class="mi" id="mwA4I">9</span><span class="o" id="mwA4M">+</span><span class="mi" id="mwA4Q">1</span><span class="p" id="mwA4U">][</span><span class="n" id="mwA4Y">max</span><span class="o" id="mwA4c">+</span><span class="mi" id="mwA4g">1</span><span class="p" id="mwA4k">];</span>

For ALGOL 68, only the NEWMODE mode-indication appears to the left of the equals symbol, and most notably the construction is made, and can be read, from left to right without regard to priorities. Also, the lower bound of Algol 68 arrays is one by default, but can be any integer from -max int to max int.

Mode declarations allow types to be recursive: defined directly or indirectly in terms of themselves. This is subject to some restrictions – for instance, these declarations are illegal:

<b id="mwA5I">MODE</b> <b id="mwA5M">A</b> = <b id="mwA5Q">REF</b> <b id="mwA5U">A</b> <b id="mwA5Y">MODE</b> <b id="mwA5c">A</b> = <b id="mwA5g">STRUCT</b> (<b id="mwA5k">A</b> a, <b id="mwA5o">B</b> b) <b id="mwA5s">MODE</b> <b id="mwA5w">A</b> = <b id="mwA50">PROC</b> (<b id="mwA54">A</b> a) <b id="mwA58">A</b>

while these are valid:

<b id="mwA6I">MODE</b> <b id="mwA6M">A</b> = <b id="mwA6Q">STRUCT</b> (<b id="mwA6U">REF</b> <b id="mwA6Y">A</b> a, <b id="mwA6c">B</b> b) <b id="mwA6g">MODE</b> <b id="mwA6k">A</b> = <b id="mwA6o">PROC</b> (<b id="mwA6s">REF</b> <b id="mwA6w">A</b> a) <b id="mwA60">REF</b> <b id="mwA64">A</b>

Coercions: casting

The coercions produce a coercee from a coercend according to three criteria: the a priori mode of the coercend before the application of any coercion, the a posteriori mode of the coercee required after those coercions, and the syntactic position or "sort" of the coercee. Coercions may be cascaded.

The six possible coercions are termed deproceduring, dereferencing, uniting, widening, rowing, and voiding. Each coercion, except for uniting, prescribes a corresponding dynamic effect on the associated values. Hence, many primitive actions can be programmed implicitly by coercions.

Context strength – allowed coercions:

• soft – deproceduring
• weak – dereferencing or deproceduring, yielding a name
• meek – dereferencing or deproceduring
• firm – meek, followed by uniting
• strong – firm, followed by widening, rowing or voiding

Coercion hierarchy with examples

ALGOL 68 has a hierarchy of contexts which determine the kind of coercions available at a particular point in the program. These contexts are:

For more details about Primaries, Secondaries, Tertiary & Quaternaries refer to Operator precedence.

pr & co: Pragmats and Comments

Pragmats (from "pragmatic remarks") are directives in the program, typically hints to the compiler; in newer languages these are called "pragmas" (no 't'). e.g.

<b id="mwBG4">PRAGMAT</b> heap=32 <b id="mwBG8">PRAGMAT</b> <b id="mwBHA">PR</b> heap=32 <b id="mwBHE">PR</b>

Comments can be inserted in a variety of ways:

¢ The original way of adding your 2 cents worth to a program ¢ <b id="mwBHQ">COMMENT</b> "bold" comment <b id="mwBHU">COMMENT</b> <b id="mwBHY">CO</b> Style i comment <b id="mwBHc">CO</b> # Style ii comment # £ This is a hash/pound comment for a UK keyboard £

Normally, comments cannot be nested in ALGOL 68. This restriction can be circumvented by using different comment delimiters (e.g. use hash only for temporary code deletions).

Expressions and compound statements

ALGOL 68 being an expression-oriented programming language, the value returned by an assignment statement is a reference to the destination. Thus, the following is valid ALGOL 68 code:

<b id="mwBH4">REAL</b> half pi, one pi; one pi := 2 * ( half pi := 2 * arc tan(1) )

This notion is present in C and Perl, among others. Note that as in earlier languages such as Algol 60 and FORTRAN, spaces are allowed in identifiers, so that half pi is a single identifier (thus avoiding the underscores versus camel case versus all lower-case issues).

As another example, to express the mathematical idea of a sum of f(i) from i=1 to n, the following ALGOL 68 integer expression suffices:

(<b id="mwBI8">INT</b> sum := 0; <b id="mwBJA">FOR</b> i <b id="mwBJE">TO</b> n <b id="mwBJI">DO</b> sum +:= f(i) <b id="mwBJM">OD</b>; sum)

Note that, being an integer expression, the former block of code can be used in any context where an integer value can be used. A block of code returns the value of the last expression it evaluated; this idea is present in Lisp, among other languages.

Compound statements are all terminated by distinctive closing brackets:

• IF choice clauses:

<b id="mwBJw">IF</b> condition <b id="mwBJ0">THEN</b> statements [ <b id="mwBJ4">ELSE</b> statements ] <b id="mwBJ8">FI</b> "brief" form: ( condition | statements | statements )

<b id="mwBKE">IF</b> condition1 <b id="mwBKI">THEN</b> statements <b id="mwBKM">ELIF</b> condition2 <b id="mwBKQ">THEN</b> statements [ <b id="mwBKU">ELSE</b> statements ] <b id="mwBKY">FI</b> "brief" form: ( condition1 | statements |: condition2 | statements | statements )

This scheme not only avoids the dangling else problem but also avoids having to use BEGIN and END in embedded statement sequences.

• CASE choice clauses:

<b id="mwBLI">CASE</b> switch <b id="mwBLM">IN</b> statements, statements,... [ <b id="mwBLQ">OUT</b> statements ] <b id="mwBLU">ESAC</b> "brief" form: ( switch | statements,statements,... | statements )

<b id="mwBLc">CASE</b> switch1 <b id="mwBLg">IN</b> statements, statements,... <b id="mwBLk">OUSE</b> switch2 <b id="mwBLo">IN</b> statements, statements,... [ <b id="mwBLs">OUT</b> statements ] <b id="mwBLw">ESAC</b> "brief" form of <b id="mwBL0">CASE</b> statement: ( switch1 | statements,statements,... |: switch2 | statements,statements,... | statements )

Choice clause example with Brief symbols:

<b id="mwBME">PROC</b> days in month = (<b id="mwBMI">INT</b> year, month)<b id="mwBMM">INT</b>: (month| 31, (year÷×4=0 ∧ year÷×100≠0 ∨ year÷×400=0 | 29 | 28 ), 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 );

Choice clause example with Bold symbols:

<b id="mwBMc">PROC</b> days in month = (<b id="mwBMg">INT</b> year, month)<b id="mwBMk">INT</b>: <b id="mwBMo">CASE</b> month <b id="mwBMs">IN</b> 31, <b id="mwBMw">IF</b> year <b id="mwBM0">MOD</b> 4 <b id="mwBM4">EQ</b> 0 <b id="mwBM8">AND</b> year <b id="mwBNA">MOD</b> 100 <b id="mwBNE">NE</b> 0 <b id="mwBNI">OR</b> year <b id="mwBNM">MOD</b> 400 <b id="mwBNQ">EQ</b> 0 <b id="mwBNU">THEN</b> 29 <b id="mwBNY">ELSE</b> 28 <b id="mwBNc">FI</b>, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 <b id="mwBNg">ESAC</b>;

Choice clause example mixing Bold and Brief symbols:

<b id="mwBN0">PROC</b> days in month = (<b id="mwBN4">INT</b> year, month)<b id="mwBN8">INT</b>: <b id="mwBOA">CASE</b> month <b id="mwBOE">IN</b> ¢Jan¢ 31, ¢Feb¢ ( year <b id="mwBOI">MOD</b> 4 = 0 <b id="mwBOM">AND</b> year <b id="mwBOQ">MOD</b> 100 ≠ 0 <b id="mwBOU">OR</b> year <b id="mwBOY">MOD</b> 400 = 0 | 29 | 28 ), ¢Mar¢ 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 ¢ to Dec. ¢ <b id="mwBOc">ESAC</b>;

Algol68 allowed the switch to be of either type INT or (uniquely) UNION. The latter allows the enforcing strong typing onto UNION variables. cf. union below for example.

• do loop clause:

[ <b id="mwBPU">FOR</b> index ] [ <b id="mwBPY">FROM</b> first ] [ <b id="mwBPc">BY</b> increment ] [ <b id="mwBPg">TO</b> last ] [ <b id="mwBPk">WHILE</b> condition ] <b id="mwBPo">DO</b> statements <b id="mwBPs">OD</b> The minimum form of a "loop clause" is thus: <b id="mwBPw">DO</b> statements <b id="mwBP0">OD</b>

This was considered the "universal" loop, the full syntax is:

<b id="mwBQE">FOR</b> i <b id="mwBQI">FROM</b> 1 <b id="mwBQM">BY</b> -22 <b id="mwBQQ">TO</b> -333 <b id="mwBQU">WHILE</b> i×i≠4444 <b id="mwBQY">DO</b> ~ <b id="mwBQc">OD</b>

The construct has several unusual aspects:

• only the DO ~ OD portion was compulsory, in which case the loop will iterate indefinitely.
• thus the clause TO 100 DO ~ OD, will iterate only 100 times.
• the WHILE "syntactic element" allowed a programmer to break from a FOR loop early. e.g.

<b id="mwBRc">INT</b> sum sq:=0; <b id="mwBRg">FOR</b> i <b id="mwBRk">WHILE</b> print(("So far:",i,newline)); sum sq≠70↑2 <b id="mwBRo">DO</b> sum sq+:=i↑2 <b id="mwBRs">OD</b>

Subsequent "extensions" to the standard Algol68 allowed the TO syntactic element to be replaced with UPTO and DOWNTO to achieve a small optimisation. The same compilers also incorporated:

• UNTIL^(C) – for late loop termination.
• FOREACH^(S) – for working on arrays in parallel.

Further examples can be found in the code examples below.

struct, union & [:]: Structures, unions and arrays

ALGOL 68 supports arrays with any number of dimensions, and it allows for the slicing of whole or partial rows or columns.

<b id="mwBS8">MODE</b> <b id="mwBTA">VECTOR</b> = [1:3] <b id="mwBTE">REAL</b>; <i id="mwBTI"># vector <b id="mwBTM">MODE</b> declaration (typedef) #</i> <b id="mwBTQ">MODE</b> <b id="mwBTU">MATRIX</b> = [1:3,1:3]<b id="mwBTY">REAL</b>; <i id="mwBTc"># matrix <b id="mwBTg">MODE</b> declaration (typedef) #</i> <b id="mwBTk">VECTOR</b> v1 := (1,2,3); <i id="mwBTo"># array variable initially (1,2,3) #</i> []<b id="mwBTs">REAL</b> v2 = (4,5,6); <i id="mwBTw"># constant array, type equivalent to <b id="mwBT0">VECTOR</b>, bounds are implied #</i> <b id="mwBT4">OP</b> + = (<b id="mwBT8">VECTOR</b> a,b) <b id="mwBUA">VECTOR</b>: <i id="mwBUE"># binary <b id="mwBUI">OP</b>erator definition #</i> (<b id="mwBUM">VECTOR</b> out; <b id="mwBUQ">FOR</b> i <b id="mwBUU">FROM</b> ⌊a <b id="mwBUY">TO</b> ⌈a <b id="mwBUc">DO</b> out[i] := a[i]+b[i] <b id="mwBUg">OD</b>; out); <b id="mwBUk">MATRIX</b> m := (v1, v2, v1+v2); print ((m[,2:])); <i id="mwBUo"># a slice of the 2nd and 3rd columns #</i>

Matrices can be sliced either way, e.g.:

<b id="mwBU0">REF</b> <b id="mwBU4">VECTOR</b> row = m[2,]; <i id="mwBU8"># define a <b id="mwBVA">REF</b> (pointer) to the 2nd row #</i> <b id="mwBVE">REF</b> <b id="mwBVI">VECTOR</b> col = m[,2]; <i id="mwBVM"># define a <b id="mwBVQ">REF</b> (pointer) to the 2nd column #</i>

ALGOL 68 supports multiple field structures (STRUCT) and united modes. Reference variables may point to any MODE including array slices and structure fields.

For an example of all this, here is the traditional linked list declaration:

<b id="mwBVw">MODE</b> <b id="mwBV0">NODE</b> = <b id="mwBV4">UNION</b> (<b id="mwBV8">VOID</b>, <b id="mwBWA">REAL</b>, <b id="mwBWE">INT</b>, <b id="mwBWI">COMPL</b>, <b id="mwBWM">STRING</b>); <b id="mwBWQ">MODE</b> <b id="mwBWU">LIST</b> = <b id="mwBWY">STRUCT</b> (<b id="mwBWc">NODE</b> val, <b id="mwBWg">REF</b> <b id="mwBWk">LIST</b> next);

Usage example for UNION CASE of NODE:

proc: Procedures

Procedure (PROC) declarations require type specifications for both the parameters and the result (VOID if none):

<b id="mwBZY">PROC</b> max of real = (<b id="mwBZc">REAL</b> a, b) <b id="mwBZg">REAL</b>: <b id="mwBZk">IF</b> a > b <b id="mwBZo">THEN</b> a <b id="mwBZs">ELSE</b> b <b id="mwBZw">FI</b>;

or, using the "brief" form of the conditional statement:

<b id="mwBZ8">PROC</b> max of real = (<b id="mwBaA">REAL</b> a, b) <b id="mwBaE">REAL</b>: (a>b | a | b);

The return value of a proc is the value of the last expression evaluated in the procedure. References to procedures (ref proc) are also permitted. Call-by-reference parameters are provided by specifying references (such as ref real) in the formal argument list. The following example defines a procedure that applies a function (specified as a parameter) to each element of an array:

<b id="mwBak">PROC</b> apply = (<b id="mwBao">REF</b> [] <b id="mwBas">REAL</b> a, <b id="mwBaw">PROC</b> (<b id="mwBa0">REAL</b>) <b id="mwBa4">REAL</b> f): <span typeof="mw:Entity" id="mwBa8"> </span> <b id="mwBbA">FOR</b> i <b id="mwBbE">FROM</b> <b id="mwBbI">LWB</b> a <b id="mwBbM">TO</b> <b id="mwBbQ">UPB</b> a <b id="mwBbU">DO</b> a[i] := f(a[i]) <b id="mwBbY">OD</b>

This simplicity of code was unachievable in ALGOL 68's predecessor ALGOL 60.

op: Operators

The programmer may define new operators and both those and the pre-defined ones may be overloaded and their priorities may be changed by the coder. The following example defines operator MAX with both dyadic and monadic versions (scanning across the elements of an array).

<b id="mwBcI">PRIO</b> <b id="mwBcM">MAX</b> = 9; <span typeof="mw:Entity" id="mwBcQ"> </span> <b id="mwBcU">OP</b> <b id="mwBcY">MAX</b> = (<b id="mwBcc">INT</b> a,b) <b id="mwBcg">INT</b>: ( a>b | a | b ); <b id="mwBck">OP</b> <b id="mwBco">MAX</b> = (<b id="mwBcs">REAL</b> a,b) <b id="mwBcw">REAL</b>: ( a>b | a | b ); <b id="mwBc0">OP</b> <b id="mwBc4">MAX</b> = (<b id="mwBc8">COMPL</b> a,b) <b id="mwBdA">COMPL</b>: ( <b id="mwBdE">ABS</b> a > <b id="mwBdI">ABS</b> b | a | b ); <span typeof="mw:Entity" id="mwBdM"> </span> <b id="mwBdQ">OP</b> <b id="mwBdU">MAX</b> = ([]<b id="mwBdY">REAL</b> a) <b id="mwBdc">REAL</b>: (<b id="mwBdg">REAL</b> out := a[<b id="mwBdk">LWB</b> a]; <b id="mwBdo">FOR</b> i <b id="mwBds">FROM</b> <b id="mwBdw">LWB</b> a + 1 <b id="mwBd0">TO</b> <b id="mwBd4">UPB</b> a <b id="mwBd8">DO</b> ( a[i]>out | out:=a[i] ) <b id="mwBeA">OD</b>; out)

Array, Procedure, Dereference and coercion operations

These are technically not operators, rather they are considered "units associated with names"

Monadic operators

Dyadic operators with associated priorities

Specific details:

• Tertiaries include names NIL and ○.
• LWS: In Algol68^r0 the operators LWS and ⎩ ... both return TRUE if the lower state of the dimension of an array is fixed.
• The UPS and ⎧ operators are similar on the upper state.
• The LWB and UPB operators are automatically available on UNIONs of different orders (and MODEs) of arrays. eg. UPB of union([]int, [,]real, flex[,,,]char)

Assignation and identity relations, etc.

These are technically not operators, rather they are considered "units associated with names"

Note: Quaternaries include names SKIP and ~.

:=: (alternatively IS) tests if two pointers are equal; :/=: (alternatively ISNT) tests if they are unequal.

Why :=: and :/=: are needed

Consider trying to compare two pointer values, such as the following variables, declared as pointers-to-integer:

REF INT ip, jp

Now consider how to decide whether these two are pointing to the same location, or whether one of them is pointing to NIL. The following expression

ip = jp

will dereference both pointers down to values of type INT, and compare those, since the = operator is defined for INT, but not REF INT. It is not legal to define = for operands of type REF INT and INT at the same time, because then calls become ambiguous, due to the implicit coercions that can be applied: should the operands be left as REF INT and that version of the operator called? Or should they be dereferenced further to INT and that version used instead? Therefore the following expression can never be made legal:

ip = NIL

Hence the need for separate constructs not subject to the normal coercion rules for operands to operators. But there is a gotcha. The following expressions:

ip :=: jp

ip :=: NIL

while legal, will probably not do what might be expected. They will always return FALSE, because they are comparing the actual addresses of the variables ip and jp, rather than what they point to. To achieve the right effect, one would have to write

ip :=: REF INT(jp)

ip :=: REF INT(NIL)

Special characters

Most of Algol's "special" characters (⊂, ≡, ␣, ×, ÷, ≤, ≥, ≠, ¬, ⊃, ≡, ∨, ∧, →, ↓, ↑, ⌊, ⌈, ⎩, ⎧, ⊥, ⏨, ¢, ○ and □) can be found on the IBM 2741 keyboard with the APL "golf-ball" print head inserted; these became available in the mid-1960s while ALGOL 68 was being drafted. These characters are also part of the Unicode standard and most of them are available in several popular fonts.

transput: Input and output

Transput is the term used to refer to ALGOL 68's input and output facilities. It includes pre-defined procedures for unformatted, formatted and binary transput. Files and other transput devices are handled in a consistent and machine-independent manner. The following example prints out some unformatted output to the standard output device:

print ((newpage, "Title", newline, "Value of i is ", i, "and x[i] is ", x[i], newline))

Note the predefined procedures newpage and newline passed as arguments.

Books, channels and files

The TRANSPUT is considered to be of BOOKS, CHANNELS and FILES:

• Books are made up of pages, lines and characters, and may be backed up by files.
  • A specific book can be located by name with a call to match.
• CHANNELs correspond to physical devices. e.g. card punches and printers.
  • Three standard channels are distinguished: stand in channel, stand out channel, stand back channel.
• A FILE is a means of communicating between a program and a book that has been opened via some channel.
  • The MOOD of a file may be read, write, char, bin, and opened.
  • transput procedures include: establish, create, open, associate, lock, close, scratch.
  • position enquires: char number, line number, page number.
  • layout routines include:
    • space, backspace, newline, newpage.
    • get good line, get good page, get good book, and PROC set=(REF FILE f, INT page,line,char)VOID:
  • A file has event routines. e.g. on logical file end, on physical file end, on page end, on line end, on format end, on value error, on char error.

formatted transput

"Formatted transput" in ALGOL 68's transput has its own syntax and patterns (functions), with FORMATs embedded between two $ characters.

Examples:

printf (($2l"The sum is:"x, g(0)$, m + n)); ¢ prints the same as: ¢ print ((new line, new line, "The sum is:", space, whole (m + n, 0))

par: Parallel processing

ALGOL 68 supports programming of parallel processing. Using the keyword PAR, a collateral clause is converted to a parallel clause, where the synchronisation of actions is controlled using semaphores. In A68G the parallel actions are mapped to threads when available on the hosting operating system. In A68S a different paradigm of parallel processing was implemented (see below).

<b id="mwB4g">PROC</b> eat = <b id="mwB4k">VOID</b>: ( muffins-:=1; print(("Yum!",new line))), speak = <b id="mwB4o">VOID</b>: ( words-:=1; print(("Yak...",new line))); <span typeof="mw:Entity" id="mwB4s"> </span> <b id="mwB4w">INT</b> muffins := 4, words := 8; <b id="mwB40">SEMA</b> mouth = <b id="mwB44">LEVEL</b> 1; <span typeof="mw:Entity" id="mwB48"> </span> <b id="mwB5A">PAR</b> <b id="mwB5E">BEGIN</b> <b id="mwB5I">WHILE</b> muffins > 0 <b id="mwB5M">DO</b> <b id="mwB5Q">DOWN</b> mouth; eat; <b id="mwB5U">UP</b> mouth <b id="mwB5Y">OD</b>, <b id="mwB5c">WHILE</b> words > 0 <b id="mwB5g">DO</b> <b id="mwB5k">DOWN</b> mouth; speak; <b id="mwB5o">UP</b> mouth <b id="mwB5s">OD</b> <b id="mwB5w">END</b>

Miscellaneous

For its technical intricacies, ALGOL 68 needs a cornucopia of methods to deny the existence of something:

<b id="mwB6A">SKIP</b>, "~" or "?"<sup id="mwB6E">C</sup> – an undefined value always syntactically valid, <b id="mwB6I">EMPTY</b> – the only value admissible to <b id="mwB6M">VOID</b>, needed for selecting <b id="mwB6Q">VOID</b> in a <b id="mwB6U">UNION</b>, <b id="mwB6Y">VOID</b> – syntactically like a <b id="mwB6c">MODE</b>, but not one, <b id="mwB6g">NIL</b> or "○" – a name not denoting anything, of an unspecified reference mode, () or specifically [1:0]<b id="mwB6k">INT</b> – a <i id="mwB6o">vacuum</i> is an empty array (here specifically of <b id="mwB6s">MODE</b> []<b id="mwB6w">INT</b>). <i id="mwB60">undefined</i> – a standards reports procedure raising an exception in the runtime system. ℵ – Used in the standards report to inhibit <a rel="mw:WikiLink" href="./Type_introspection" title="Type introspection" id="mwB64">introspection</a> of certain types. e.g. <b id="mwB68">SEMA</b>

The term NIL IS var always evaluates to TRUE for any variable (but see above for correct use of IS :/=:), whereas it is not known to which value a comparison x < SKIP evaluates for any integer x.

ALGOL 68 leaves intentionally undefined what happens in case of integer overflow, the integer bit representation, and the degree of numerical accuracy for floating point.

Both official reports included some advanced features that were not part of the standard language. These were indicated with an ℵ and considered effectively private. Examples include "≮" and "≯" for templates, the OUTTYPE/INTYPE for crude duck typing, and the STRAIGHTOUT and STRAIGHTIN operators for "straightening" nested arrays and structures

Examples of use

Code sample

This sample program implements the Sieve of Eratosthenes to find all the prime numbers that are less than 100. NIL is the ALGOL 68 analogue of the null pointer in other languages. The notation x OF y accesses a member x of a STRUCT y.

<b id="mwB9A">BEGIN</b> # Algol-68 prime number sieve, functional style # <span typeof="mw:Entity" id="mwB9E"> </span> <b id="mwB9I">PROC</b> error = (<b id="mwB9M">STRING</b> s) <b id="mwB9Q">VOID</b>: (print(( newline, " error: ", s, newline)); <b id="mwB9U">GOTO</b> stop); <b id="mwB9Y">PROC</b> one to = (<b id="mwB9c">INT</b> n) <b id="mwB9g">LIST</b>: (<b id="mwB9k">PROC</b> f = (<b id="mwB9o">INT</b> m,n) <b id="mwB9s">LIST</b>: (m>n | <b id="mwB9w">NIL</b> | cons(m, f(m+1,n))); f(1,n)); <span typeof="mw:Entity" id="mwB90"> </span> <b id="mwB94">MODE</b> <b id="mwB98">LIST</b> = <b id="mwB-A">REF</b> <b id="mwB-E">NODE</b>; <b id="mwB-I">MODE</b> <b id="mwB-M">NODE</b> = <b id="mwB-Q">STRUCT</b> (<b id="mwB-U">INT</b> h, <b id="mwB-Y">LIST</b> t); <b id="mwB-c">PROC</b> cons = (<b id="mwB-g">INT</b> n, <b id="mwB-k">LIST</b> l) <b id="mwB-o">LIST</b>: <b id="mwB-s">HEAP</b> <b id="mwB-w">NODE</b> := (n,l); <b id="mwB-0">PROC</b> hd = (<b id="mwB-4">LIST</b> l) <b id="mwB-8">INT</b>: ( l <b id="mwB_A">IS</b> <b id="mwB_E">NIL</b> | error("hd <b id="mwB_I">NIL</b>"); <b id="mwB_M">SKIP</b> | h <b id="mwB_Q">OF</b> l ); <b id="mwB_U">PROC</b> tl = (<b id="mwB_Y">LIST</b> l) <b id="mwB_c">LIST</b>: ( l <b id="mwB_g">IS</b> <b id="mwB_k">NIL</b> | error("tl <b id="mwB_o">NIL</b>"); <b id="mwB_s">SKIP</b> | t <b id="mwB_w">OF</b> l ); <b id="mwB_0">PROC</b> show = (<b id="mwB_4">LIST</b> l) <b id="mwB_8">VOID</b>: ( l <b id="mwCAA">ISNT</b> <b id="mwCAE">NIL</b> | print((" ",whole(hd(l),0))); show(tl(l))); <span typeof="mw:Entity" id="mwCAI"> </span> <b id="mwCAM">PROC</b> filter = (<b id="mwCAQ">PROC</b> (<b id="mwCAU">INT</b>) <b id="mwCAY">BOOL</b> p, <b id="mwCAc">LIST</b> l) <b id="mwCAg">LIST</b>: <b id="mwCAk">IF</b> l <b id="mwCAo">IS</b> <b id="mwCAs">NIL</b> <b id="mwCAw">THEN</b> <b id="mwCA0">NIL</b> <b id="mwCA4">ELIF</b> p(hd(l)) <b id="mwCA8">THEN</b> cons(hd(l), filter(p,tl(l))) <b id="mwCBA">ELSE</b> filter(p, tl(l)) <b id="mwCBE">FI</b>; <span typeof="mw:Entity" id="mwCBI"> </span> <b id="mwCBM">PROC</b> sieve = (<b id="mwCBQ">LIST</b> l) <b id="mwCBU">LIST</b>: <b id="mwCBY">IF</b> l <b id="mwCBc">IS</b> <b id="mwCBg">NIL</b> <b id="mwCBk">THEN</b> <b id="mwCBo">NIL</b> <b id="mwCBs">ELSE</b> <b id="mwCBw">PROC</b> not multiple = (<b id="mwCB0">INT</b> n) <b id="mwCB4">BOOL</b>: n <b id="mwCB8">MOD</b> hd(l) ~= 0; cons(hd(l), sieve( filter( not multiple, tl(l) ))) <b id="mwCCA">FI</b>; <span typeof="mw:Entity" id="mwCCE"> </span> <b id="mwCCI">PROC</b> primes = (<b id="mwCCM">INT</b> n) <b id="mwCCQ">LIST</b>: sieve( tl( one to(n) )); <span typeof="mw:Entity" id="mwCCU"> </span> show( primes(100) ) <b id="mwCCY">END</b>

Operating systems written in ALGOL 68

• Cambridge CAP computer – All procedures constituting the operating system were written in ALGOL 68C, although several other closely associated protected procedures, such as a paginator, are written in BCPL.
• Eldon 3 – Developed at Leeds University for the ICL 1900 was written in ALGOL 68-R.
• Flex machine – The hardware was custom and microprogrammable, with an operating system, (modular) compiler, editor, garbage collector and filing system all written in ALGOL 68RS. The command shell Curt was designed to access typed data similar to Algol-68 modes.
• VME – S3 was the implementation language of the operating system VME. S3 was based on ALGOL 68 but with data types and operators aligned to those offered by the ICL 2900 Series.

Note: The Soviet Era computers Эльбрус-1 (Elbrus-1) and Эльбрус-2 were created using high-level language Эль-76 (AL-76), rather than the traditional assembly. Эль-76 resembles Algol-68, The main difference is the dynamic binding types in Эль-76 supported at the hardware level. Эль-76 is used for application, job control, system programming.

Applications

Both ALGOL 68C and ALGOL 68-R are written in ALGOL 68, effectively making ALGOL 68 an application of itself. Other applications include:

• ELLA – a hardware description language and support toolset. Developed by the Royal Signals and Radar Establishment during the 1980s and 1990s.
• RAF Strike Command System – "... 400K of error-free ALGOL 68-RT code was produced with three man-years of work. ..."

Libraries and APIs

• NAG Numerical Libraries – a software library of numerical analysis routines. Supplied in ALGOL 68 during the 1980s.
• TORRIX – a programming system for operations on vectors and matrices over arbitrary fields and of variable size by S. G. van der Meulen and M. Veldhorst.

Program representation

A feature of ALGOL 68, inherited from the ALGOL tradition, is its different representations. Programs in the strict language (which is rigorously defined in the Report) denote production trees in the form of a sequence of grammar symbols, and should be represented using some representation language, of which there are many and tailored to different purposes.

• Representation languages that are intended to describe algorithms in printed works are known as publication languages and typically make use of rich typography to denote bold words and operator indications.
• Representation languages that are intended to be used in compiler input, what we would call programming languages, are limited by the restrictions imposed by input methods and character sets and have to resort to stropping regimes to distinguish between bold and non bold letters and digits.
• Representation languages that are intended to be both produced and consumed by computers, known as hardware languages, would typically use a binary compact representation.

The Revised Report defines a reference language and it is recommended for representation languages that are intended to be read by humans to be close enough to the reference language so symbols can be distinguished "without further elucidation". These representation languages are called implementations of the reference language.

For example, the construct in the strict language bold-begin-symbol could be represented as begin in a publication language, as BEGIN in a programming language or as the bytes 0xC000 in some hardware language. Similarly, the strict language differs from symbol could be represented as ≠ or as /=.

ALGOL 68's reserved words are effectively in a different namespace from identifiers, and spaces are allowed in identifiers in most stropping regimes, so this next fragment is legal:

<b id="mwCH0">INT</b> a real int = 3 ;

The programmer who writes executable code does not always have an option of BOLD typeface or underlining in the code as this may depend on hardware and cultural issues. Different methods to denote these identifiers have been devised. This is called a stropping regime. For example, all or some of the following may be available programming representations:

'INT'A REAL INT = 3; # QUOTE stropping style # .INT A REAL INT = 3; # POINT stropping style # INT a real int = 3; # UPPER stropping style # int a_real_int = 3; # RES stropping style, there are 61 accepted reserved words #

All implementations must recognize at least POINT, UPPER and RES inside PRAGMAT sections. Of these, POINT and UPPER stropping are quite common. QUOTE (single apostrophe quoting) was the original recommendation.

It may seem that RES stropping is a contradiction to the specification, as there are no reserved words in Algol 68. This is not so. In RES stropping the representation of the bold word (or keyword) begin is begin, and the representation of the identifier begin is begin_. Note that the underscore character is just a representation artifact and not part of the represented identifier. In contrast, in non-stropped languages with reserved words, like for example C, it is not possible to represent an identifier if, since the representation if_ represents the identifier if_, not if.

The following characters were recommended for portability, and termed "worthy characters" in the Report on the Standard Hardware Representation of Algol 68 :

• ^Worthy Characters: ABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789 "#$%'()*+,-./:;<=>@[ ]_|

This reflected a problem in the 1960s where some hardware didn't support lower-case, nor some other non-ASCII characters, indeed in the 1973 report it was written: "Four worthy characters — "|", "_", "[", and "]" — are often coded differently, even at installations which nominally use the same character set."

• Base characters: "Worthy characters" are a subset of "base characters".

Example of different program representations

ALGOL 68 allows for every natural language to define its own set of keywords Algol-68. As a result, programmers are able to write programs using keywords from their native language. Below is an example of a simple procedure that calculates "the day following", the code is in two languages: English and German.

# Next day date - English variant # <b id="mwCPE">MODE</b> <b id="mwCPI">DATE</b> = <b id="mwCPM">STRUCT</b>(<b id="mwCPQ">INT</b> day, <b id="mwCPU">STRING</b> month, <b id="mwCPY">INT</b> year); <b id="mwCPc">PROC</b> the day following = (<b id="mwCPg">DATE</b> x) <b id="mwCPk">DATE</b>: <b id="mwCPo">IF</b> day <b id="mwCPs">OF</b> x < length of month (month <b id="mwCPw">OF</b> x, year <b id="mwCP0">OF</b> x) <b id="mwCP4">THEN</b> (day <b id="mwCP8">OF</b> x + 1, month <b id="mwCQA">OF</b> x, year <b id="mwCQE">OF</b> x) <b id="mwCQI">ELIF</b> month <b id="mwCQM">OF</b> x = "December" <b id="mwCQQ">THEN</b> (1, "January", year <b id="mwCQU">OF</b> x + 1) <b id="mwCQY">ELSE</b> (1, successor of month (month <b id="mwCQc">OF</b> x), year <b id="mwCQg">OF</b> x) <b id="mwCQk">FI</b>;

# Nachfolgetag - Deutsche Variante # <b id="mwCQs">MENGE</b> <b id="mwCQw">DATUM</b> = <b id="mwCQ0">TUPEL</b>(<b id="mwCQ4">GANZ</b> tag, <b id="mwCQ8">WORT</b> monat, <b id="mwCRA">GANZ</b> jahr); <b id="mwCRE">FUNKTION</b> naechster tag nach = (<b id="mwCRI">DATUM</b> x) <b id="mwCRM">DATUM</b>: <b id="mwCRQ">WENN</b> tag <b id="mwCRU">VON</b> x < monatslaenge(monat <b id="mwCRY">VON</b> x, jahr <b id="mwCRc">VON</b> x) <b id="mwCRg">DANN</b> (tag <b id="mwCRk">VON</b> x + 1, monat <b id="mwCRo">VON</b> x, jahr <b id="mwCRs">VON</b> x) <b id="mwCRw">WENNABER</b> monat <b id="mwCR0">VON</b> x = "Dezember" <b id="mwCR4">DANN</b> (1, "Januar", jahr <b id="mwCR8">VON</b> x + 1) <b id="mwCSA">ANSONSTEN</b> (1, nachfolgemonat(monat <b id="mwCSE">VON</b> x), jahr <b id="mwCSI">VON</b> x) <b id="mwCSM">ENDEWENN</b>;

Russian/Soviet example: In English Algol68's case statement reads CASE ~ IN ~ OUT ~ ESAC, in Cyrillic this reads выб ~ в ~ либо ~ быв.

Revisions

Except where noted (with a ^superscript), the language described above is that of the "Revised Report^(r1)".

The language of the unrevised report

The original language (As per the "Final Report"^r0) differs in syntax of the mode cast, and it had the feature of proceduring, i.e. coercing the value of a term into a procedure which evaluates the term. Proceduring would be intended to make evaluations lazy. The most useful application could have been the short-circuited evaluation of Boolean operators. In:

<b id="mwCTs">OP</b> <b id="mwCTw">ANDF</b> = (<b id="mwCT0">BOOL</b> a,<b id="mwCT4">PROC</b> <b id="mwCT8">BOOL</b> b)<b id="mwCUA">BOOL</b>:(a | b | <b id="mwCUE">FALSE</b>); <b id="mwCUI">OP</b> <b id="mwCUM">ORF</b> = (<b id="mwCUQ">BOOL</b> a,<b id="mwCUU">PROC</b> <b id="mwCUY">BOOL</b> b)<b id="mwCUc">BOOL</b>:(a | <b id="mwCUg">TRUE</b> | b);

b is only evaluated if a is true.

As defined in ALGOL 68, it did not work as expected, for example in the code:

<b id="mwCU4">IF</b> <b id="mwCU8">FALSE</b> <b id="mwCVA">ANDF</b> <b id="mwCVE">CO</b> proc bool: <b id="mwCVI">CO</b> ( print ("Should not be executed"); <b id="mwCVM">TRUE</b>) <b id="mwCVQ">THEN</b> ...

against the programmers naïve expectations the print would be executed as it is only the value of the elaborated enclosed-clause after ANDF that was procedured. Textual insertion of the commented-out PROC BOOL: makes it work.

Some implementations emulate the expected behaviour for this special case by extension of the language.

Before revision, the programmer could decide to have the arguments of a procedure evaluated serially instead of collaterally by using semicolons instead of commas (gommas).

For example in:

<b id="mwCWE">PROC</b> test = (<b id="mwCWI">REAL</b> a; <b id="mwCWM">REAL</b> b) :... ... test (x <b id="mwCWQ">PLUS</b> 1, x);

The first argument to test is guaranteed to be evaluated before the second, but in the usual:

<b id="mwCWc">PROC</b> test = (<b id="mwCWg">REAL</b> a, b) :... ... test (x <b id="mwCWk">PLUS</b> 1, x);

then the compiler could evaluate the arguments in whatever order it felt like.

Extension proposals from IFIP WG 2.1

After the revision of the report, some extensions to the language have been proposed to widen the applicability:

• partial parametrisation (aka Currying): creation of functions (with fewer parameters) by specification of some, but not all parameters for a call, e.g. a function logarithm of two parameters, base and argument, could be specialised to natural, binary or decadic log,
• module extension: for support of external linkage, two mechanisms were proposed, bottom-up definition modules, a more powerful version of the facilities from ALGOL 68-R, and top-down holes, similar to the ENVIRON and USING clauses from ALGOL 68C.
• mode parameters: for implementation of limited parametrical polymorphism (most operations on data structures like lists, trees or other data containers can be specified without touching the pay load).

So far, partial parametrisation has been implemented in Algol 68 Genie, and a subset of the Modules and Separated Compilation facility has been implemented in GCC.

True ALGOL 68s specification and implementation timeline

The S3 language that was used to write the ICL VME operating system and much other system software on the ICL 2900 Series was a direct derivative of ALGOL 68. However, it omitted many of the more complex features, and replaced the basic modes with a set of data types that mapped directly to the 2900 Series hardware architecture.

Implementation specific extensions

ALGOL 68R from RRE was the first ALGOL 68 subset implementation, running on the ICL 1900. Based on the original language, the main subset restrictions were definition before use and no parallel processing. This compiler was popular in UK universities in the 1970s, where many computer science students learnt ALGOL 68 as their first programming language; the compiler was renowned for good error messages.

ALGOL 68RS^(RS) from RSRE was a portable compiler system written in ALGOL 68RS (bootstrapped from ALGOL 68R), and implemented on a variety of systems including the ICL 2900/Series 39, Multics and DEC VAX/VMS. The language was based on the Revised Report, but with similar subset restrictions to ALGOL 68R. This compiler survives in the form of an Algol68-to-C compiler.

In ALGOL 68S^(S) from Carnegie Mellon University the power of parallel processing was improved by adding an orthogonal extension, eventing. Any variable declaration containing keyword EVENT made assignments to this variable eligible for parallel evaluation, i.e. the right hand side was made into a procedure which was moved to one of the processors of the C.mmp multiprocessor system. Accesses to such variables were delayed after termination of the assignment.

Cambridge ALGOL 68C^(C) was a portable compiler that implemented a subset of ALGOL 68, restricting operator definitions and omitting garbage collection, flexible rows and formatted transput.

Algol 68 Genie^(G) by Marcel van der Veer is an ALGOL 68 implementation for today's computers and operating systems. The interpreter implements one extension - Charles Lindsey’s partial parametrization proposal published in 1976, that gives the imperative language Algol 68 a functional sub-language.

The GNU Compiler Collection's GNU Algol 68 implements several GNU extensions to the language, providing a strict superlanguage of ALGOL 68, as is explicitly allowed by the Revised Report.

"Despite good intentions, a programmer may violate portability by inadvertently employing a local extension. To guard against this, each implementation should provide a PORTCHECK pragmat option. While this option is in force, the compiler prints a message for each construct that it recognizes as violating some portability constraint."

Quotes

• ... The scheme of type composition adopted by C owes considerable debt to Algol 68, although it did not, perhaps, emerge in a form that Algol's adherents would approve of. The central notion I captured from Algol was a type structure based on atomic types (including structures), composed into arrays, pointers (references), and functions (procedures). Algol 68's concept of unions and casts also had an influence that appeared later. Dennis Ritchie Apr 1993.
• ... C does not descend from Algol 68 is true, yet there was influence, much of it so subtle that it is hard to recover even when I think hard. In particular, the union type (a late addition to C) does owe to A68, not in any details, but in the idea of having such a type at all. More deeply, the type structure in general and even, in some strange way, the declaration syntax (the type-constructor part) was inspired by A68. And yes, of course, "long". Dennis Ritchie, 18 June 1988
• "Congratulations, your Master has done it" – Niklaus Wirth
• The more I see of it, the more unhappy I become – E. W. Dijkstra, 1968
• [...] it was said that A68's popularity was inversely proportional to [...] the distance from Amsterdam – Guido van Rossum
• [...] The best we could do was to send with it a minority report, stating our considered view that, "... as a tool for the reliable creation of sophisticated programs, the language was a failure." [...] – C. A. R. Hoare in his Oct 1980 Turing Award Lecture
• "[...] More than ever it will be required from an adequate programming tool that it assists, by structure, the programmer in the most difficult aspects of his job, viz. in the reliable creation of sophisticated programs. In this respect we fail to see how the language proposed here is a significant step forward: on the contrary, we feel that its implicit view of the programmer's task is very much the same as, say, ten years ago. This forces upon us the conclusion that, regarded as a programming tool, the language must be regarded as obsolete. [...]" 1968 Working Group minority report on 23 December 1968.