User:NevilleDNZ/Draft/Algol 68 Genie

Note: See User talk:NevilleDNZ/Draft/Algol 68 Genie page for more information and discussion of guidelines on this draft...

ALGOL68G or Algol 68 Genie is an ALGOL 68 compiler-interpreter developed from 2002 onwards. ALGOL68G is a nearly full implementation of ALGOL 68 as defined by the Revised Report and also implements partial parametrisation, which is an extension of ALGOL 68. After successful parsing of an entire source program, the syntax tree, that serves as an intermediate program representation, is interpreted. The interpreter performs many runtime checks. Optionally, units with large interpreter overhead can be compiled to speed execution.

The author and maintainer of Algol 68 Genie is Marcel van der Veer. Algol 68 Genie is released under GPL and runs on Linux, Unix, Mac OS X and Windows, and is available here.

Features of Algol 68 Genie
In keeping with the letter and spirit of Algol68, the interpreter performs checks on many events, for example: assigning to NIL or dereferencing of NIL, using uninitialised values, invalid operands to standard prelude operators and procedures, bounds check when manipulating arrays, overflow of arithmetic modes, "dangling references", that are names that refer to deallocated storage.. It implements LONG INT, LONG REAL and LONG COMPLEX with roughly doubled precision with respect to INT, REAL, COMPLEX and implementation of multiprecision arithmetic through LONG LONG INT, LONG LONG REAL and LONG LONG COMPLEX which are modes with user defined precision which is set by an option. It supports Format texts, straightening and formatted transput. Transput routines work generically on files, (dynamic) strings and pipes. There is support for the parallel clause on platforms that support POSIX threads. Upper stropping is the default, quote stropping is optional.

Algol68G interfaces with a range of other local facilities. For example on systems that support them, Linux extensions that allow e.g. for executing child processes that communicate through pipes, matching regular expressions or fetching web page contents, procedures for drawing using the GNU Plotting Utilities, various numerical procedures and basic linear algebra procedures from the GNU Scientific Library, and various PostgreSQL client routines.

Extensions to Algol 68

 * Implementation of C.H. Lindsey's partial parametrisation proposal, which allows for currying in Algol 68, giving it a functional sublanguage.
 * A simple refinement preprocessor to facilitate top-down program construction.
 * Implementation of pseudo-operators ANDF and ORF.
 * Implementation of a post-checked loop. A do-part may enclose a serial clause followed by an optional until-part, or just enclose an until-part. This is an alternative to the paradigm Algol 68 post-check loop WHILE ... DO SKIP OD.
 * Implementation of DOWNTO with comparable function as TO in loop clauses; DOWNTO decreases, whereas TO increases, the loop counter by the value of the (implicit) by-part.

Deviations from the Revised Report language
The important deviations are:


 * The important difference with the Revised Report transput model is that Algol 68 Genie transput does not operate on FLEX [ ] FLEX [ ] FLEX [ ] CHAR, but on a FLEX [ ] CHAR. This maps better onto operating systems such as Unix or Linux.
 * Values are not initialised to SKIP. Instead, uninitialised values provoke a runtime error. This is believed to be a safe choice since many programming errors result from using uninitialised values.
 * The Algol 68 Genie parallel clause deviates from the Algol 68 parallel clause when parallel clauses are nested. In Algol 68 Genie, stack frames inside a parallel unit are private, therefore if parallel units modify a shared variable then this variable must be declared outside the outermost parallel clause, and a jump out of a parallel unit can only be targeted at a label outside the outermost parallel clause.
 * Transputting a file is essentially sequential. Only reset can intervene with sequential processing.
 * When all arguments in a call of readf, printf, writef, getf or putf are processed, the format associated with the corresponding file is purged - that is, remaining insertions are processed and the format is discarded.