HOME

TheInfoList



OR:

ALGOL 68 (short for ''Algorithmic Language 1968'') is an imperative
programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming ...
that was conceived as a successor to the ALGOL 60 programming language, designed with the goal of a much wider scope of application and more rigorously defined syntax and semantics. The complexity of the language's definition, which runs to several hundred pages filled with non-standard terminology, made
compiler In computing, a compiler is a computer program that translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primarily used for programs tha ...
implementation difficult and it was said it had "no implementations and no users". This was only partly true; ALGOL 68 did find use in several niche markets, notably in the
United Kingdom The United Kingdom of Great Britain and Northern Ireland, commonly known as the United Kingdom (UK) or Britain, is a country in Europe, off the north-western coast of the European mainland, continental mainland. It comprises England, Scotlan ...
where it was popular on International Computers Limited (ICL) machines, and in teaching roles. Outside these fields, use was relatively limited. Nevertheless, the contributions of ALGOL 68 to the field of
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
have been deep, wide-ranging and enduring, although many of these contributions were only publicly identified when they had reappeared in subsequently developed programming languages. Many languages were developed specifically as a response to the perceived complexity of the language, the most notable being Pascal, or were reimplementations for specific roles, like Ada. Many languages of the 1970s trace their design specifically to ALGOL 68, selecting some features while abandoning others that were considered too complex or out-of-scope for given roles. Among these is the language C, which was directly influenced by ALGOL 68, especially by its strong typing and structures. Most modern languages trace at least some of their syntax to either C or Pascal, and thus directly or indirectly to ALGOL 68.


Overview

ALGOL 68 features include expression-based syntax, user-declared types and structures/tagged-unions, a reference model of variables and reference parameters, string, array and matrix slicing, and concurrency. ALGOL 68 was designed by the
International Federation for Information Processing The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 196 ...
(IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi. On December 20, 1968, the language was formally adopted by the group, and then approved for publication by the General Assembly of IFIP. ALGOL 68 was defined using a formalism, a two-level
formal grammar In formal language theory, a grammar (when the context is not given, often called a formal grammar for clarity) describes how to form strings from a language's alphabet that are valid according to the language's syntax. A grammar does not describe ...
, invented by Adriaan van Wijngaarden.
Van Wijngaarden grammar In computer science, a Van Wijngaarden grammar (also vW-grammar or W-grammar) is a two-level grammar which provides a technique to define potentially infinite context-free grammars in a finite number of rules. The formalism was invented by Adriaa ...
s use a context-free grammar to generate an infinite set of productions that will recognize a particular ALGOL 68 program; notably, they are able to express the kind of requirements that in many other programming language
technical standard A technical standard is an established norm or requirement for a repeatable technical task which is applied to a common and repeated use of rules, conditions, guidelines or characteristics for products or related processes and production methods, ...
s are labelled ''semantics'', and must be expressed in ambiguity-prone natural language prose, and then implemented in compilers as ''ad hoc'' code attached to the formal language parser. The main aims and principles of design of ALGOL 68: # Completeness and clarity of descriptionCompleteness and clarity of description
# Orthogonality of designOrthogonal design
# Security
# Efficiency:
#* Static mode checking #* Mode-independent parsing #* Independent compiling #* Loop optimizing #* Representations – in minimal & larger
character sets Character encoding is the process of assigning numbers to graphical characters, especially the written characters of human language, allowing them to be stored, transmitted, and transformed using digital computers. The numerical values that ...
ALGOL 68 has been criticized, most prominently by some members of its design committee such as C. A. R. Hoare and
Edsger Dijkstra Edsger Wybe Dijkstra ( ; ; 11 May 1930 – 6 August 2002) was a Dutch computer scientist, programmer, software engineer, systems scientist, and science essayist. He received the 1972 Turing Award for fundamental contributions to developing progra ...
, for abandoning the simplicity of ALGOL 60, becoming a vehicle for complex or overly general ideas, and doing little to make the
compiler In computing, a compiler is a computer program that translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primarily used for programs tha ...
writer's task easier, in contrast to deliberately simple contemporaries (and competitors) such as C,
S-algol S-algol (St Andrews Algol) is a computer programming language derivative of ALGOL 60 developed at the University of St Andrews in 1979 by Ron Morrison and Tony Davie. The language is a modification of ALGOL to contain orthogonal data types that Mo ...
and Pascal. In 1970,
ALGOL 68-R ALGOL 68-R was the first implementation of the Algorithmic Language ALGOL 68. In December 1968, the report on the Algorithmic Language ALGOL 68 was published. On 20–24 July 1970 a working conference was arranged by the International Federation ...
became the first working compiler for ALGOL 68. In the 1973 revision, certain features – such as proceduring, gommas and formal bounds – were omitted.Revised Report on the Algorithmic Language Algol 68
. jmvdveer.home.xs4all.nl (1968-12-20). Retrieved on 2013-07-21.
C.f. The language of the unrevised report.r0 Though European defence agencies (in Britain
Royal Signals and Radar Establishment The Royal Signals and Radar Establishment (RSRE) was a scientific research establishment within the Ministry of Defence (MoD) of the United Kingdom. It was located primarily at Malvern in Worcestershire, England. The RSRE motto was ''Ubique ...
(RSRE)) promoted the use of ALGOL 68 for its expected security advantages, the American side of the NATO alliance decided to develop a different project, the language Ada, making its use obligatory for US defense contracts. ALGOL 68 also had a notable influence in the
Soviet Union The Soviet Union,. officially the Union of Soviet Socialist Republics. (USSR),. was a List of former transcontinental countries#Since 1700, transcontinental country that spanned much of Eurasia from 1922 to 1991. A flagship communist state, ...
, details of which can be found in
Andrey Ershov Andrey Petrovich Yershov (russian: Андре́й Петро́вич Ершо́в; 19 April 1931, Moscow – 8 December 1988, Moscow) was a Soviet computer scientist, notable as a pioneer in systems programming and programming language researc ...
's 2014 paper: "ALGOL 68 and Its Impact on the USSR and Russian Programming", and "Алгол 68 и его влияние на программирование в СССР и России". Steve Bourne, who was on the ALGOL 68 revision committee, took some of its ideas to his Bourne shell (and thereby, to descendant
Unix shell A Unix shell is a command-line interpreter or shell that provides a command line user interface for Unix-like operating systems. The shell is both an interactive command language and a scripting language, and is used by the operating syste ...
s such as Bash) and to C (and thereby to descendants such as
C++ C++ (pronounced "C plus plus") is a high-level general-purpose programming language created by Danish computer scientist Bjarne Stroustrup as an extension of the C programming language, or "C with Classes". The language has expanded significan ...
). The complete history of the project can be found in C. H. Lindsey's ''A History of ALGOL 68''. For a full-length treatment of the language, see "Programming ALGOL 68 Made Easy" by Dr. Sian Mountbatten, or "Learning ALGOL 68 Genie" by Marcel van der Veer which includes the Revised Report.


History


Origins

ALGOL 68, as the name implies, is a follow-on to the
ALGOL ALGOL (; short for "Algorithmic Language") is a family of imperative computer programming languages originally developed in 1958. ALGOL heavily influenced many other languages and was the standard method for algorithm description used by the ...
language that was first formalized in 1960. That same year the
International Federation for Information Processing The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 196 ...
(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 ALGOL X was the code name given to a programming language which was being developed as a successor to ALGOL 60, by the International Federation for Information Processing (IFIP) IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which ...
which would be a redefinition of the language with some additions, and an 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 Princeton University is a private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth as the College of New Jersey, Princeton is the fourth-oldest institution of higher education in the United States and one of the ...
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. At the second meeting in October in France, three formal proposals were presented,
Niklaus Wirth Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally ...
's
ALGOL W ALGOL W is a programming language. It is based on a proposal for ALGOL X by Niklaus Wirth and Tony Hoare as a successor to ALGOL 60. ALGOL W is a relatively simple upgrade of the original ALGOL 60, adding string, bitstring, complex number and ...
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 Kootwijk (West Low German: ''Kodek'') (population estimate: 280) is a small village in the municipality Barneveld, located in the middle of the Netherlands, in the province of Gelderland. History It was first mentioned between 1333 and 1334 as ...
, 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 Warsaw ( pl, Warszawa, ), officially the Capital City of Warsaw,, abbreviation: ''m.st. Warszawa'' is the capital and largest city of Poland. The metropolis stands on the River Vistula in east-central Poland, and its population is officia ...
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 The University of Illinois Urbana-Champaign (U of I, Illinois, University of Illinois, or UIUC) is a public land-grant research university in Illinois in the twin cities of Champaign and Urbana. It is the flagship institution of the Univer ...
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 Pointer may refer to: Places * Pointer, Kentucky * Pointers, New Jersey * Pointers Airport, Wasco County, Oregon, United States * The Pointers, a pair of rocks off Antarctica People with the name * Pointer (surname), a surname (including a lis ...
; 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 In computer programming, operator overloading, sometimes termed ''operator ad hoc polymorphism'', is a specific case of polymorphism, where different operators have different implementations depending on their arguments. Operator overloading i ...
and the ability to string together 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 Zurich 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 Peter Naur (25 October 1928 – 3 January 2016) was a Danish computer science pioneer and Turing award winner. He is best remembered as a contributor, with John Backus, to the Backus–Naur form (BNF) notation used in describing the syntax for m ...
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 North Berwick (; gd, Bearaig a Tuath) is a seaside town and former royal burgh in East Lothian, Scotland. It is situated on the south shore of the Firth of Forth, approximately east-northeast of Edinburgh. North Berwick became a fashionable ...
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 Banff is a town within Banff National Park in Alberta, Canada. It is located in Alberta's Rockies along the Trans-Canada Highway, approximately west of Calgary and east of Lake Louise. At above Banff is the community with the second highest ...
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 Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
, 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 The Royal Radar Establishment was a research centre in Malvern, Worcestershire in the United Kingdom. It was formed in 1953 as the Radar Research Establishment by the merger of the Air Ministry's Telecommunications Research Establishment (TRE) a ...
in the UK as
ALGOL 68-R ALGOL 68-R was the first implementation of the Algorithmic Language ALGOL 68. In December 1968, the report on the Algorithmic Language ALGOL 68 was published. On 20–24 July 1970 a working conference was arranged by the International Federation ...
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 In computer science, a call stack is a stack data structure that stores information about the active subroutines of a computer program. This kind of stack is also known as an execution stack, program stack, control stack, run-time stack, or mach ...
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 Control Data Corporation (CDC) was a mainframe and supercomputer firm. CDC was one of the nine major United States computer companies through most of the 1960s; the others were IBM, Burroughs Corporation, DEC, NCR, General Electric, Honeywel ...
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 The University of Cambridge is a Public university, public collegiate university, collegiate research university in Cambridge, England. Founded in 1209 and granted a royal charter by Henry III of England, Henry III in 1231, Cambridge is the world' ...
. 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 Open-source software (OSS) is computer software that is released under a license in which the copyright holder grants users the rights to use, study, change, and distribute the software and its source code to anyone and for any purpose. Op ...
port of
ALGOL 68RS ALGOL 68RS is the second ALGOL 68 compiler written by I. F. Currie and J. D. Morrison, at the Royal Signals and Radar Establishment (RSRE). Unlike the earlier ALGOL 68-R, it was designed to be portable, and implemented the language of the Revise ...
. * experimental Algol68 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. * 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 Edsger Wybe Dijkstra ( ; ; 11 May 1930 – 6 August 2002) was a Dutch computer scientist, programmer, software engineer, systems scientist, and science essayist. He received the 1972 Turing Award for fundamental contributions to developing progra ...
, Fraser Duncan, Jan Garwick, Tony Hoare,
Brian Randell Brian Randell (born 1936) is a British computer scientist, and Emeritus Professor at the School of Computing, Newcastle University, United Kingdom. He specialises in research into software fault tolerance and dependability, and is a noted aut ...
, 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, M. Sintzoff, C. H. Lindsey, Lambert Meertens and Richard G. Fisker. * other WG 2.1 members active in ALGOL 68 design: Friedrich L. BauerHans BekicGerhard GoosPeter Zilahy Ingerman
Peter Landin Peter John Landin (5 June 1930 – 3 June 2009) was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of bo ...
Charles H. LindseyJohn McCarthyJack Merner
Peter Naur Peter Naur (25 October 1928 – 3 January 2016) was a Danish computer science pioneer and Turing award winner. He is best remembered as a contributor, with John Backus, to the Backus–Naur form (BNF) notation used in describing the syntax for m ...
Manfred PaulWillem van der PoelDoug RossKlaus SamelsonMichel Sintzoff
Niklaus Wirth Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally ...
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 The United Nations Educational, Scientific and Cultural Organization is a specialized agency of the United Nations (UN) aimed at promoting world peace and security through international cooperation in education, arts, sciences and culture. It ...
's IFIP for publication. Translations of the standard were made for
Russian Russian(s) refers to anything related to Russia, including: *Russians (, ''russkiye''), an ethnic group of the East Slavic peoples, primarily living in Russia and neighboring countries *Rossiyane (), Russian language term for all citizens and peo ...
, German, French and Bulgarian, and then later
Japanese Japanese may refer to: * Something from or related to Japan, an island country in East Asia * Japanese language, spoken mainly in Japan * Japanese people, the ethnic group that identifies with Japan through ancestry or culture ** Japanese diaspor ...
and Chinese. The standard was also made available in
Braille Braille (Pronounced: ) is a tactile writing system used by people who are visually impaired, including people who are blind, deafblind or who have low vision. It can be read either on embossed paper or by using refreshable braille disp ...
. 1984: TC 97 considered ALGOL 68 for standardisation as "New Work Item" TC97/N164

http://std.dkuug.dk/JTC1/sc22/sc22arc1.txt]. 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 committee

and Algol 68's ISO standardisation stalle

1988: Subsequently ALGOL 68 became one of the
GOST GOST (russian: ГОСТ) refers to a set of International standard, international Technical standard, technical Standardization, standards maintained by the ''Euro-Asian Council for Standardization, Metrology and Certification (EASC)'', a region ...
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: MODE, OP, PRIO, PROC, FLEX, HEAP, LOC, LONG, REF, SHORT, BITS, BOOL, BYTES, CHAR, COMPL, INT, REAL, SEMA, STRING, VOID, CHANNEL, FILE, FORMAT, STRUCT, UNION, AT "@", EITHER r0, IS ":=:", ISNT IS NOT r0 ":/=:" ":≠:", OF "→" r0, TRUE, FALSE, EMPTY, NIL "○", SKIP "~", CO "¢", COMMENT "¢", PR, PRAGMAT, CASE ~ IN ~ OUSE ~ IN ~ OUT ~ ESAC "( ~ , ~ , : ~ , ~ , ~ )", FOR ~ FROM ~ TO ~ BY ~ WHILE ~ DO ~ OD, IF ~ THEN ~ ELIF ~ THEN ~ ELSE ~ FI "( ~ , ~ , : ~ , ~ , ~ )", PAR BEGIN ~ END "( ~ )", GO TO, GOTO, EXIT "□" r0.


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 Unix (; trademarked as UNIX) is a family of multitasking, multiuser computer operating systems that derive from the original AT&T Unix, whose development started in 1969 at the Bell Labs research center by Ken Thompson, Dennis Ritchie, an ...
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 In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the fo ...
), bool, char, bits and bytes. For example: INT n = 2; CO n is fixed as a constant of 2. CO INT m := 3; CO m is a newly created local ''variable'' whose value is initially set to 3. CO CO This is short for ref int m = loc int := 3; CO REAL avogadro = 6.0221415⏨23; CO Avogadro's number CO long long real long long pi = 3.14159 26535 89793 23846 26433 83279 50288 41971 69399 37510; COMPL square root of minus one = 0 ⊥ 1; However, the declaration REAL x; is just
syntactic sugar In computer science, syntactic sugar is syntax within a programming language that is designed to make things easier to read or to express. It makes the language "sweeter" for human use: things can be expressed more clearly, more concisely, or in an ...
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, COMPLEXG, BOOL, CHAR, STRING, BITS, BYTES, FORMAT, FILE, PIPEG, 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 For some examples, see Comparison of ALGOL 68 and C++. Other declaration symbols include: FLEX, HEAP, LOC, REF, LONG, SHORT, EVENTS * 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: INT max=99; MODE newmode = :90:max]STRUCT ( LONG REAL a, b, c, SHORT INT i, j, k, REF REAL r ); This is similar to the following C code: const int max=99; typedef struct newmode +1max+1]; 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 data type, recursive: defined directly or indirectly in terms of themselves. This is subject to some restrictions – for instance, these declarations are illegal: MODE A = REF A MODE A = STRUCT (A a, B b) MODE A = PROC (A a) A while these are valid: MODE A = STRUCT (REF A a, B b) MODE A = PROC (REF A a) REF A


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 In mathematics and computer programming, the order of operations (or operator precedence) is a collection of rules that reflect conventions about which procedures to perform first in order to evaluate a given mathematical expression. For exampl ...
.


pr & co: Pragmats and Comments

Pragmats are directives in the program, typically hints to the compiler; in newer languages these are called "pragmas" (no 't'). e.g. PRAGMAT heap=32 PRAGMAT PR heap=32 PR Comments can be inserted in a variety of ways: ¢ The original way of adding your 2 cents worth to a program ¢ COMMENT "bold" comment COMMENT CO Style i comment CO # 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 Assignment, assign or The Assignment may refer to: * Homework * Sex assignment * The process of sending National Basketball Association players to its development league; see Computing * Assignment (computer science), a type of modification to ...
statement is a reference to the destination. Thus, the following is valid ALGOL 68 code: REAL half pi, one pi; one pi := 2 * ( half pi := 2 * arc tan(1) ) This notion is present in C and
Perl Perl is a family of two high-level, general-purpose, interpreted, dynamic programming languages. "Perl" refers to Perl 5, but from 2000 to 2019 it also referred to its redesigned "sister language", Perl 6, before the latter's name was offic ...
, 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: (INT sum := 0; FOR i TO n DO sum +:= f(i) OD; 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: IF condition THEN statements ELSE statements FI "brief" form: ( condition , statements , statements ) IF condition1 THEN statements ELIF condition2 THEN statements ELSE statements FI "brief" form: ( condition1 , statements , : condition2 , statements , statements ) This scheme not only avoids the
dangling else The dangling else is a problem in programming of parser generators in which an optional else clause in an if–then(–else) statement results in nested conditionals being ambiguous. Formally, the reference context-free grammar of the language i ...
problem but also avoids having to use BEGIN and END in embedded statement sequences. *CASE choice clauses: CASE switch IN statements, statements,... OUT statements ESAC "brief" form: ( switch , statements,statements,... , statements ) CASE switch1 IN statements, statements,... OUSE switch2 IN statements, statements,... OUT statements ESAC "brief" form of CASE statement: ( switch1 , statements,statements,... , : switch2 , statements,statements,... , statements ) Choice clause example with ''Brief'' symbols: PROC days in month = (INT year, month)INT: (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: PROC days in month = (INT year, month)INT: CASE month IN 31, IF year MOD 4 EQ 0 AND year MOD 100 NE 0 OR year MOD 400 EQ 0 THEN 29 ELSE 28 FI, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 ESAC; Choice clause example mixing ''Bold'' and ''Brief'' symbols: PROC days in month = (INT year, month)INT: CASE month IN ¢Jan¢ 31, ¢Feb¢ ( year MOD 4 = 0 AND year MOD 100 ≠ 0 OR year MOD 400 = 0 , 29 , 28 ), ¢Mar¢ 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 ¢ to Dec. ¢ ESAC; Algol68 allowed the switch to be of either type INT ''or'' (uniquely) UNION. The latter allows the enforcing strong typing onto UNION variables. c.f.
union Union commonly refers to: * Trade union, an organization of workers * Union (set theory), in mathematics, a fundamental operation on sets Union may also refer to: Arts and entertainment Music * Union (band), an American rock group ** ''Un ...
below for example. * do loop clause: FOR index FROM first BY increment TO last WHILE condition DO statements OD The minimum form of a "loop clause" is thus: DO statements OD This was considered ''the'' "universal" loop, the full syntax is: FOR i FROM 1 BY -22 TO -333 WHILE i×i≠4444 DO ~ OD The construct have 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. INT sum sq:=0; FOR i WHILE print(("So far:",i,newline)); sum sq≠70↑2 DO sum sq+:=i↑2 OD 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 An array is a systematic arrangement of similar objects, usually in rows and columns. Things called an array include: {{TOC right Music * In twelve-tone and serial composition, the presentation of simultaneous twelve-tone sets such that the ...
with any number of dimensions, and it allows for the ''slicing'' of whole or partial rows or columns. MODE VECTOR = :3 REAL; ''# vector MODE declaration (typedef) #'' MODE MATRIX = :3,1:3''REAL; ''# matrix MODE declaration (typedef) #'' VECTOR v1 := (1,2,3); ''# array variable initially (1,2,3) #'' []REAL v2 = (4,5,6); ''# constant array, type equivalent to VECTOR, bounds are implied #'' OP + = (VECTOR a,b) VECTOR: ''# binary OPerator definition #'' (VECTOR out; FOR i FROM ⌊a TO ⌈a DO out := a b OD; out); MATRIX m := (v1, v2, v1+v2); print ((m 2:); ''# a slice of the 2nd and 3rd columns #'' Matrices can be sliced either way, e.g.: REF VECTOR row = m , ''# define a REF (pointer) to the 2nd row #'' REF VECTOR col = m 2 ''# define a REF (pointer) to the 2nd column #'' 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: MODE NODE = UNION (VOID, REAL, INT, COMPL, STRING), LIST = STRUCT (NODE val, REF LIST 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): PROC max of real = (REAL a, b) REAL: IF a > b THEN a ELSE b FI; or, using the "brief" form of the conditional statement: PROC max of real = (REAL a, b) REAL: (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: PROC apply = (REF [] REAL a, PROC (REAL) REAL f):   FOR i FROM LWB a TO UPB a DO a := f(a OD This simplicity of code was unachievable in ALGOL 68's predecessor ALGOL 60.


op: Operators

The programmer may define new
operators Operator may refer to: Mathematics * A symbol indicating a mathematical operation * Logical operator or logical connective in mathematical logic * Operator (mathematics), mapping that acts on elements of a space to produce elements of another sp ...
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). PRIO MAX = 9;   OP MAX = (INT a,b) INT: ( a>b , a , b ); OP MAX = (REAL a,b) REAL: ( a>b , a , b ); OP MAX = (COMPL a,b) COMPL: ( ABS a > ABS b , a , b );   OP MAX = ([]REAL a) REAL: (REAL out := a[LWB a]; FOR i FROM LWB a + 1 TO UPB a DO ( a[i]>out , out:=a ) OD; 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 The IBM 2741 is a printing computer terminal that was introduced in 1965. Compared to the teletypewriter machines that were commonly used as printing terminals at the time, the 2741 offers 50% higher speed, much higher quality printing, quieter op ...
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 Unicode, formally The Unicode Standard,The formal version reference is is an information technology standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems. The standard, wh ...
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 is ", x  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 An operating system (OS) is system software that manages computer hardware, software resources, and provides common services for computer programs. Time-sharing operating systems schedule tasks for efficient use of the system and may also i ...
. In A68S a different paradigm of parallel processing was implemented (see below). PROC eat = VOID: ( muffins-:=1; print(("Yum!",new line))), speak = VOID: ( words-:=1; print(("Yak...",new line)));   INT muffins := 4, words := 8; SEMA mouth = LEVEL 1;   PAR BEGIN WHILE muffins > 0 DO DOWN mouth; eat; UP mouth OD, WHILE words > 0 DO DOWN mouth; speak; UP mouth OD END


Examples of use


Code sample

This sample program implements the Sieve of Eratosthenes to find all the
prime number A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
s 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''. BEGIN # Algol-68 prime number sieve, functional style #   PROC error = (STRING s) VOID: (print(( newline, " error: ", s, newline)); GOTO stop); PROC one to = (INT n) LIST: (PROC f = (INT m,n) LIST: (m>n , NIL , cons(m, f(m+1,n))); f(1,n));   MODE LIST = REF NODE; MODE NODE = STRUCT (INT h, LIST t); PROC cons = (INT n, LIST l) LIST: HEAP NODE := (n,l); PROC hd = (LIST l) INT: ( l IS NIL , error("hd NIL"); SKIP , h OF l ); PROC tl = (LIST l) LIST: ( l IS NIL , error("tl NIL"); SKIP , t OF l ); PROC show = (LIST l) VOID: ( l ISNT NIL , print((" ",whole(hd(l),0))); show(tl(l)));   PROC filter = (PROC (INT) BOOL p, LIST l) LIST: IF l IS NIL THEN NIL ELIF p(hd(l)) THEN cons(hd(l), filter(p,tl(l))) ELSE filter(p, tl(l)) FI;   PROC sieve = (LIST l) LIST: IF l IS NIL THEN NIL ELSE PROC not multiple = (INT n) BOOL: n MOD hd(l) ≠ 0; cons(hd(l), sieve( filter( not multiple, tl(l) ))) FI;   PROC primes = (INT n) LIST: sieve( tl( one to(n) ));   show( primes(100) ) END


Operating systems written in ALGOL 68

* Cambridge CAP computer – All procedures constituting the operating system were written in
ALGOL 68C ALGOL 68C is an imperative computer programming language, a dialect of ALGOL 68, that was developed by Stephen R. Bourne and Michael Guy to program the Cambridge Algebra System (CAMAL). The initial compiler was written in the Princeton Syntax ...
, 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 ALGOL 68-R was the first implementation of the Algorithmic Language ALGOL 68. In December 1968, the report on the Algorithmic Language ALGOL 68 was published. On 20–24 July 1970 a working conference was arranged by the International Federation ...
. *
Flex machine The Flex Computer System was developed by Michael Foster and Ian Currie of Royal Signals and Radar Establishment (RSRE) in Malvern, England, during the late 1970s and 1980s. It used a tagged storage scheme to implement a capability architectu ...
– The hardware was custom and microprogrammable, with an operating system, (modular) compiler, editor, garbage collector and filing system all written in
ALGOL 68RS ALGOL 68RS is the second ALGOL 68 compiler written by I. F. Currie and J. D. Morrison, at the Royal Signals and Radar Establishment (RSRE). Unlike the earlier ALGOL 68-R, it was designed to be portable, and implemented the language of the Revise ...
. The command shell Curt was designed to access typed data similar to Algol-68 modes. * VMES3 was the implementation language of the
operating system An operating system (OS) is system software that manages computer hardware, software resources, and provides common services for computer programs. Time-sharing operating systems schedule tasks for efficient use of the system and may also i ...
VME. S3 was based on ALGOL 68 but with data types and operators aligned to those offered by the
ICL 2900 Series The ICL 2900 Series was a range of mainframe computer systems announced by the British manufacturer ICL on 9 October 1974. The company had started development under the name "New Range" immediately on its formation in 1968. The range was not de ...
. 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 ALGOL 68C is an imperative computer programming language, a dialect of ALGOL 68, that was developed by Stephen R. Bourne and Michael Guy to program the Cambridge Algebra System (CAMAL). The initial compiler was written in the Princeton Syntax ...
and
ALGOL 68-R ALGOL 68-R was the first implementation of the Algorithmic Language ALGOL 68. In December 1968, the report on the Algorithmic Language ALGOL 68 was published. On 20–24 July 1970 a working conference was arranged by the International Federation ...
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 The Royal Signals and Radar Establishment (RSRE) was a scientific research establishment within the Ministry of Defence (MoD) of the United Kingdom. It was located primarily at Malvern in Worcestershire, England. The RSRE motto was ''Ubique ...
during the 1980s and 1990s. *
RAF Strike Command The Royal Air Force's Strike Command was the military formation which controlled the majority of the United Kingdom's bomber and fighter aircraft from 1968 until 2007 when it merged with Personnel and Training Command to form the single Air C ...
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 Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of numerical methods ...
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.Applications, libraries, and test suites — Software Preservation Group
Softwarepreservation.org. Retrieved on 2013-07-21.


Program representation

A feature of ALGOL 68, inherited from the
ALGOL ALGOL (; short for "Algorithmic Language") is a family of imperative computer programming languages originally developed in 1958. ALGOL heavily influenced many other languages and was the standard method for algorithm description used by the ...
tradition, is its different representations. There is a ''representation language'' used to describe algorithms in printed work, a ''strict language'' (rigorously defined in the Report), and an official ''reference language'' intended to be used in compiler input. The examples contain BOLD typeface words, this is the STRICT language. ALGOL 68's reserved words are effectively in a different
namespace In computing, a namespace is a set of signs (''names'') that are used to identify and refer to objects of various kinds. A namespace ensures that all of a given set of objects have unique names so that they can be easily identified. Namespaces ...
from identifiers, and spaces are allowed in identifiers, so this next fragment is legal: INT 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; # the STRICT language # '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, while RES stropping is a contradiction to the specification (as there are no reserved words). QUOTE (single apostrophe quoting) was the original recommendation, while matched apostrophe quoting, common in ALGOL 60, is not used much in ALGOL 68. The following characters were recommended for portability, and termed "worthy characters" in th
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 ASCII ( ), abbreviated from American Standard Code for Information Interchange, is a character encoding standard for electronic communication. ASCII codes represent text in computers, telecommunications equipment, and other devices. Because ...
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 # MODE DATE = STRUCT(INT day, STRING month, INT year); PROC the day following = (DATE x) DATE: IF day OF x < length of month (month OF x, year OF x) THEN (day OF x + 1, month OF x, year OF x) ELIF month OF x = "December" THEN (1, "January", year OF x + 1) ELSE (1, successor of month (month OF x), year OF x) FI; # Nachfolgetag - Deutsche Variante # MENGE DATUM = TUPEL(GANZ tag, WORT monat, GANZ jahr); FUNKTION naechster tag nach = (DATUM x) DATUM: WENN tag VON x < monatslaenge(monat VON x, jahr VON x) DANN (tag VON x + 1, monat VON x, jahr VON x) WENNABER monat VON x = "Dezember" DANN (1, "Januar", jahr VON x + 1) ANSONSTEN (1, nachfolgemonat(monat VON x), jahr VON x) ENDEWENN; ''Russian/Soviet example:'' In English Algol68's case statement reads CASE ~ IN ~ OUT ~ ESAC, in Cyrillic this reads выб ~ в ~ либо ~ быв.


Some Vanitas

For its technical intricacies, ALGOL 68 needs a cornucopia of methods to deny the existence of something: SKIP, "~" or "?"C – an undefined value always syntactically valid, EMPTY – the only value admissible to VOID, needed for selecting VOID in a UNION, VOID – syntactically like a MODE, but not one, NIL or "○" – a name not denoting anything, of an unspecified reference mode, () or specifically :0''INT – a ''vacuum'' is an empty array (here specifically of MODE []INT). ''undefined'' – a standards reports procedure raising an exception in the runtime system. ℵ – Used in the standards report to inhibit type introspection, introspection of certain types. e.g. SEMA c.f. below for other examples of ℵ. 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 In computer programming, an integer overflow occurs when an arithmetic operation attempts to create a numeric value that is outside of the range that can be represented with a given number of digits – either higher than the maximum or lower ...
, the integer bit representation, and the degree of numerical accuracy for floating point. In contrast, the language
Java Java (; id, Jawa, ; jv, ꦗꦮ; su, ) is one of the Greater Sunda Islands in Indonesia. It is bordered by the Indian Ocean to the south and the Java Sea to the north. With a population of 151.6 million people, Java is the world's mos ...
has been criticized for over-specifying the latter. 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 Duck typing in computer programming is an application of the duck test—"If it walks like a duck and it quacks like a duck, then it must be a duck"—to determine whether an object can be used for a particular purpose. With nominative ty ...
, and the STRAIGHTOUT and STRAIGHTIN operators for "straightening" nested arrays and structures. Extract from the 1973 report: §10.3.2.2. Transput modes a) MODE ℵ SIMPLOUT = UNION (≮ℒ INT≯, ≮ℒ REAL≯, ≮ℒ COMPL≯, BOOL, ≮ℒ bits≯, CHAR, CHAR); b) MODE ℵ OUTTYPE = ¢ an actual – declarer specifying a mode united from a sufficient set of modes none of which is 'void' or contains 'flexible', 'reference to', 'procedure' or 'union of' ¢; c) MODE ℵ SIMPLIN = UNION (≮REF ℒ INT≯, ≮REF ℒ REAL≯, ≮REF ℒ COMPL≯, REF BOOL, ≮REF ℒ BITS≯, REF CHAR, REF CHAR, REF STRING); d) MODE ℵ INTYPE = ¢ ... ¢;   §10.3.2.3. Straightening a) OP ℵ STRAIGHTOUT = (OUTTYPE x) SIMPLOUT: ¢ the result of "straightening" 'x' ¢; b) OP ℵ STRAIGHTIN = (INTYPE x) SIMPLIN: ¢ the result of straightening 'x' ¢;


Comparisons with other languages

* 1973 �
Comparative Notes on Algol 68 and PL/I
– S. H. Valentine – February 1973 * 1973 – B. R. Alexander and G. E. Hedrick. A Comparison of PL/1 and ALGOL 68. International Symposium on Computers and Chinese Input/Output Systems. pp. 359–368. * 1976 – Evaluation of ALGOL 68,
JOVIAL JOVIAL is a high-level programming language based on ALGOL 58, specialized for developing embedded systems (specialized computer systems designed to perform one or a few dedicated functions, usually embedded as part of a larger, more complete dev ...
J3B, Pascal, Simula 67, and
TACPOL TACPOL (Tactical Procedure Oriented Language) is a block structured programming language developed by the United States Army for the TACFIRE Tactical Fire Direction command and control application. TACPOL is similar to PL/I. Language constructs ...
Versus TINMAN – Requirements for a Common High Order Programming Language. * 1976 �
A Language Comparison
– A Comparison of the Properties of the Programming Languages ALGOL 68, CAMAC-IML, Coral 66,
PAS 1 PAS-1 was a communications satellite owned by PanAmSat located at 45° West longitude, serving the Americas market. PAS-1 was also the first, privately owned, international telecommunication satellite. It was originally built for Contel ASC as ...
,
PEARL A pearl is a hard, glistening object produced within the soft tissue (specifically the mantle) of a living shelled mollusk or another animal, such as fossil conulariids. Just like the shell of a mollusk, a pearl is composed of calcium carb ...
,
PL/1 PL/I (Programming Language One, pronounced and sometimes written PL/1) is a procedural, imperative computer programming language developed and published by IBM. It is designed for scientific, engineering, business and system programming. I ...
, PROCOL, RTL/2 in Relation to Real Time Programming – R. Roessler; K. Schenk – October 197

* 1976 – Evaluation of ALGOL 68, JOVIAL J3B, PASCAL, SIMULA 67, and TACPOL Versus teelman language requirements, TINMANRequirements for a Common High Order Programming Language. October 197

* 1977 �
Report to the High Order-Language Working Group (HOLWG)
– Executive Summary – Language Evaluation Coordinating Committee – Evaluation of
PL/I PL/I (Programming Language One, pronounced and sometimes written PL/1) is a procedural, imperative computer programming language developed and published by IBM. It is designed for scientific, engineering, business and system programming. I ...
, Pascal, ALGOL 68, HAL/S,
PEARL A pearl is a hard, glistening object produced within the soft tissue (specifically the mantle) of a living shelled mollusk or another animal, such as fossil conulariids. Just like the shell of a mollusk, a pearl is composed of calcium carb ...
, SPL/I, PDL/2, LTR,
CS-4 The CS-4 project was a series of satellites that Japan's National Space Development Agency planned to launch from 1995 onwards. The CS-4 series was described by Tomifumi Godai, one of NASDA's executive directors, as "an engineering test satellite ...
, LIS,
Euclid Euclid (; grc-gre, Εὐκλείδης; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the '' Elements'' treatise, which established the foundations of ...
, ECL, Moral, RTL/2, Fortran, COBOL, ALGOL 60,
TACPOL TACPOL (Tactical Procedure Oriented Language) is a block structured programming language developed by the United States Army for the TACFIRE Tactical Fire Direction command and control application. TACPOL is similar to PL/I. Language constructs ...
, CMS-2, Simula 67, JOVIAL J3B, JOVIAL J73 & Coral 66. * 1977 �
A comparison of PASCAL and ALGOL 68
Andrew S. Tanenbaum Andrew Stuart Tanenbaum (born March 16, 1944), sometimes referred to by the handle ast, is an American-Dutch computer scientist and professor emeritus of computer science at the Vrije Universiteit Amsterdam in the Netherlands. He is the author ...
– June 1977. * 1980 �
A Critical Comparison of Several Programming Language Implementations
– Algol 60, FORTRAN, Pascal and Algol 68. * 1993 �

BLISS BLISS is a system programming language developed at Carnegie Mellon University (CMU) by W. A. Wulf, D. B. Russell, and A. N. Habermann around 1970. It was perhaps the best known system language until C debuted a few years later. Since then, C b ...
, Pascal, Algol 68, BCPL & CDennis M. Ritchie – April 1993. * 1999 �
On Orthogonality
Algol68, Pascal and C * 2000 �

in ALGOL 68 and
BLISS BLISS is a system programming language developed at Carnegie Mellon University (CMU) by W. A. Wulf, D. B. Russell, and A. N. Habermann around 1970. It was perhaps the best known system language until C debuted a few years later. Since then, C b ...
University of Virginia The University of Virginia (UVA) is a public research university in Charlottesville, Virginia. Founded in 1819 by Thomas Jefferson, the university is ranked among the top academic institutions in the United States, with highly selective ad ...
– Michael Walker – Spring 2000 * 2009 �
On Go – oh, go on
– How well will Google's Go stand up against Brand X programming language? – David Given – November 2009 * 2010 �
Algol and Pascal
from "Concepts in Programming Languages – Block-structured procedural languages" – by Marcelo Fiore * Comparison of ALGOL 68 and C++


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: OP ANDF = (BOOL a,PROC BOOL b)BOOL:(a , b , FALSE); OP ORF = (BOOL a,PROC BOOL b)BOOL:(a , TRUE , 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: IF FALSE ANDF CO proc bool: CO ( print ("Should not be executed"); TRUE) THEN ... 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 (
gomma
's). For example in: PROC test = (REAL a; REAL b) :... ... test (x PLUS 1, x); The first argument to test is guaranteed to be evaluated before the second, but in the usual: PROC test = (REAL a, b) :... ... test (x PLUS 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 ALGOL 68-R was the first implementation of the Algorithmic Language ALGOL 68. In December 1968, the report on the Algorithmic Language ALGOL 68 was published. On 20–24 July 1970 a working conference was arranged by the International Federation ...
and top-down ''holes'', similar to the ENVIRON and USING clauses from
ALGOL 68C ALGOL 68C is an imperative computer programming language, a dialect of ALGOL 68, that was developed by Stephen R. Bourne and Michael Guy to program the Cambridge Algebra System (CAMAL). The initial compiler was written in the Princeton Syntax ...
Commentserrata
/ref> * ''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, only partial parametrisation has been implemented, in Algol 68 Genie.


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 The ICL 2900 Series was a range of mainframe computer systems announced by the British manufacturer ICL on 9 October 1974. The company had started development under the name "New Range" immediately on its formation in 1968. The range was not de ...
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(R) 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 Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
students learnt ALGOL 68 as their first programming language; the compiler was renowned for good error messages. ALGOL 68RS(RS) from
RSRE The Royal Signals and Radar Establishment (RSRE) was a scientific research establishment within the Ministry of Defence (MoD) of the United Kingdom. It was located primarily at Malvern in Worcestershire, England. The RSRE motto was ''Ubique ...
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 Multics ("Multiplexed Information and Computing Service") is an influential early time-sharing operating system based on the concept of a single-level memory.Dennis M. Ritchie, "The Evolution of the Unix Time-sharing System", Communications of ...
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 Cambridge ( ) is a College town, university city and the county town in Cambridgeshire, England. It is located on the River Cam approximately north of London. As of the 2021 United Kingdom census, the population of Cambridge was 145,700. Cam ...
ALGOL 68C ALGOL 68C is an imperative computer programming language, a dialect of ALGOL 68, that was developed by Stephen R. Bourne and Michael Guy to program the Cambridge Algebra System (CAMAL). The initial compiler was written in the Princeton Syntax ...
(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 M. van der Veer is an ALGOL 68 implementation for today's computers and operating systems. "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 Niklaus Emil Wirth (born 15 February 1934) is a Swiss computer scientist. He has designed several programming languages, including Pascal, and pioneered several classic topics in software engineering. In 1984, he won the Turing Award, generally ...
*''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 Guido van Rossum (; born 31 January 1956) is a Dutch programmer best known as the creator of the Python programming language, for which he was the "benevolent dictator for life" (BDFL) until he stepped down from the position on 12 July 2018 ...
* '' ..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 The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical importance to computer science. It is generally recognized as the highest distinction in comput ...
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.


See also

* ALGOL 60 * ALGOL Y * ALGOL N *
ALGOL 68C ALGOL 68C is an imperative computer programming language, a dialect of ALGOL 68, that was developed by Stephen R. Bourne and Michael Guy to program the Cambridge Algebra System (CAMAL). The initial compiler was written in the Princeton Syntax ...
* C (programming language) *
C++ C++ (pronounced "C plus plus") is a high-level general-purpose programming language created by Danish computer scientist Bjarne Stroustrup as an extension of the C programming language, or "C with Classes". The language has expanded significan ...
* Bourne shell *
Bash (Unix shell) Bash is a Unix shell and command language written by Brian Fox for the GNU Project as a free software replacement for the Bourne shell. First released in 1989, it has been used as the default login shell for most Linux distributions. Bash wa ...
* Steelman language requirements * Ada (programming language) *
Python (programming language) Python is a high-level, general-purpose programming language. Its design philosophy emphasizes code readability with the use of significant indentation. Python is dynamically-typed and garbage-collected. It supports multiple programming p ...


References


Citations


Works cited

* Brailsford, D. F. and Walker, A. N., ''Introductory ALGOL 68 Programming'', Ellis Horwood/Wiley, 1979 * Lindsey, C. H. and van der Meulen, S. G., ''Informal Introduction to ALGOL 68'', North-Holland, 1971 * * McGettrick, A. D., ''ALGOL 68, A First and Second Course'', Cambridge Univ. Press, 1978 * Peck, J. E. L., ''An ALGOL 68 Companion'', Univ. of British Columbia, October 1971 * Tanenbaum, A. S., ''A Tutorial on ALGOL 68'', Computing Surveys 8, 155-190, June 1976 and 9, 255-256, September 1977

* Woodward, P. M. and Bond, S. G., ''ALGOL 68-R Users
sic The Latin adverb ''sic'' (; "thus", "just as"; in full: , "thus was it written") inserted after a quoted word or passage indicates that the quoted matter has been transcribed or translated exactly as found in the source text, complete with any e ...
Guide'', London, Her Majesty's Stationery Office, 1972


External links


Revised Report on the Algorithmic Language ALGOL 68
The official reference for users and implementors of the language (large pdf file, scanned from Algol Bulletin)

Hyperlinked HTML version of the Revised Report
''A Tutorial on Algol 68''
by
Andrew S. Tanenbaum Andrew Stuart Tanenbaum (born March 16, 1944), sometimes referred to by the handle ast, is an American-Dutch computer scientist and professor emeritus of computer science at the Vrije Universiteit Amsterdam in the Netherlands. He is the author ...
, in ''Computing Surveys'', Vol. 8, No. 2, June 1976, wit
Corrigenda
(Vol. 9, No. 3, September 1977)


Open source ALGOL 68 implementations, on SourceForge

Algol68 Standard Hardware representation (.pdf)


* ttp://www.computer-museum.ru/english/algol68.htm Algol 68 – 25 Years in the USSR
Система программ динамической поддержки для транслятора с Алгол 68


* McJones, Paul
"Algol 68 implementations and dialects"
''Software Preservation Group'', Computer History Museum, 2011-07-05
Web enabled ALGOL 68 compiler for small experiments
{{DEFAULTSORT:Algol 68 Algol programming language family Academic programming languages Articles with example ALGOL 68 code Computer-related introductions in 1968 Procedural programming languages Programming languages created in 1968 Systems programming languages Programming languages