АЛГОЛ 68

АЛГОЛ 68

Пересмотренный отчет об алгоритмическом языке - Алгол 68 под редакцией: А. ван Вейнгаарден и др., сентябрь 1973 г. [1]
Парадигмы	Мультипарадигма : одновременная , императивная
Семья	АЛГОЛ
Разработано	А. ван Вейнгаарден , Б. Дж. Майу , Дж. Э. Пек и ЧА Костер и др.
Впервые появился	Окончательный отчет: 1968 ; 56 лет назад r0 ( 1968 )
Стабильный релиз	Алгол 68/RR/Пересмотренный отчет: 1973 г .; 51 год назад r1 ( 1973 )
Дисциплина набора текста	статичный , прочный , безопасный , структурный
Объем	Лексический
Основные внедрения
АЛГОЛ 68C , Алгол 68 Джинн (недавний), АЛГОЛ 68-R , АЛГОЛ 68RS , АЛГОЛ 68S , FLACC , Алгол 68 Ленинград/Ленинградский отряд, Одра АЛГОЛ 68
Диалекты
АЛГОЛ 68/FR (Окончательный отчет r0 )
Под влиянием
АЛГОЛ 60 , АЛГОЛ Y
Под влиянием
C , [3] [5] C++ , [6] Bourne shell , KornShell , Bash , Steelman , Ada , Python , [7] Seed7 , Mary , S3

ALGOL 68 (сокращение от Algorithmic Language 1968 ) — императивный язык программирования , задуманный как преемник языка программирования ALGOL 60 , разработанный с целью гораздо более широкой сферы применения и более строго определенного синтаксиса и семантики.

Сложность определения языка, которое достигает нескольких сотен страниц, заполненных нестандартной терминологией, затрудняла реализацию компилятора , и было сказано, что у него «нет реализаций и нет пользователей». Это было правдой лишь отчасти; ALGOL 68 нашел применение на нескольких нишевых рынках, в частности в Соединенном Королевстве , где он был популярен на машинах International Computers Limited (ICL) и в учебных целях. За пределами этих областей применение было относительно ограниченным.

Тем не менее, вклад ALGOL 68 в область компьютерных наук был глубоким, всеобъемлющим и устойчивым, хотя многие из этих вкладов были публично идентифицированы только тогда, когда они вновь появились в впоследствии разработанных языках программирования. Многие языки были разработаны специально как ответ на воспринимаемую сложность языка, наиболее заметным из которых является Pascal , или были повторными реализациями для определенных ролей, как Ada .

Многие языки 1970-х годов прослеживают свой дизайн именно к ALGOL 68, выбирая некоторые функции и отказываясь от других, которые считались слишком сложными или выходящими за рамки определенных ролей. Среди них — язык C , на который ALGOL 68 оказал непосредственное влияние, особенно его строгая типизация и структуры. Большинство современных языков прослеживают по крайней мере часть своего синтаксиса либо к C, либо к Pascal, и, таким образом, напрямую или косвенно к ALGOL 68.

Возможности ALGOL 68 включают синтаксис на основе выражений, объявляемые пользователем типы и структуры/тегированные объединения, справочную модель переменных и справочных параметров, нарезку строк, массивов и матриц, а также параллелизм.

ALGOL 68 был разработан Рабочей группой IFIP 2.1 по алгоритмическим языкам и исчислениям Международной федерации по обработке информации (IFIP) . 20 декабря 1968 года язык был официально принят группой, а затем одобрен для публикации Генеральной ассамблеей IFIP.

ALGOL 68 был определен с использованием формализма , двухуровневой формальной грамматики , изобретенной Адрианом ван Вейнгарденом . Грамматики ван Вейнгардена используют контекстно-свободную грамматику для генерации бесконечного набора производных, которые распознают конкретную программу ALGOL 68; в частности, они способны выражать тип требований, которые во многих других технических стандартах языков программирования называются семантикой и должны быть выражены в подверженной неоднозначности естественно-языковой прозе, а затем реализованы в компиляторах как специальный код, прикрепленный к формальному синтаксическому анализатору языка.

Основные цели и принципы построения АЛГОЛа 68:

1. Полнота и ясность описания ^[9]
2. Ортогональность дизайна ^[10]
3. Безопасность ^[11]
4. Эффективность: ^[12]
   • Проверка статического режима
   • Независимый от режима синтаксический анализ
   • Независимая компиляция
   • Оптимизация цикла
   • Представления – в минимальных и больших наборах символов

ALGOL 68 подвергался критике, особенно со стороны некоторых членов его проектного комитета, таких как К. А. Хоар и Эдсгер Дейкстра , за отказ от простоты ALGOL 60 , превращение в средство для сложных или слишком общих идей и незначительную работу по облегчению задачи разработчика компилятора в отличие от намеренно простых современников (и конкурентов), таких как C , S-algol и Pascal .

В 1970 году ALGOL 68-R стал первым рабочим компилятором для ALGOL 68.

В редакции 1973 года некоторые особенности, такие как процедуры , гоммы ^[13] и формальные границы , были опущены. ^[14] Ср. Язык непересмотренного отчета.r0

Хотя европейские оборонные агентства (в Великобритании — Королевское управление радиолокации и связи (RSRE)) продвигали использование языка ALGOL 68 из-за его предполагаемых преимуществ в плане безопасности, американская сторона альянса НАТО решила разработать другой проект — язык Ada , сделав его использование обязательным для оборонных контрактов США.

АЛГОЛ 68 также имел заметное влияние в Советском Союзе , подробности о котором можно найти в статье Андрея Терехова 2014 года: «АЛГОЛ 68 и его влияние на СССР и российское программирование», ^[15] и «Алгол 68 и его влияние». по программированию в СССР и России». ^[16]

Стив Борн , входивший в комитет по пересмотру ALGOL 68, перенес некоторые из его идей в свою оболочку Bourne (и, следовательно, в дочерние оболочки Unix, такие как Bash ) и в C (и, следовательно, в дочерние оболочки, такие как C++ ).

Полную историю проекта можно найти в книге CH Lindsey «История ALGOL 68» . ^{[17] [18]}

Полное описание языка см. в книге «Программирование ALGOL 68 Made Easy» ^[19] д-ра Сиан Маунтбеттен или в книге «Изучение ALGOL 68 Genie» ^[20] Марселя ван дер Вира, которая включает в себя пересмотренный отчет.

ALGOL 68, как следует из названия, является продолжением языка ALGOL , который был впервые формализован в 1960 году. В том же году Международная федерация по обработке информации (IFIP) сформировала и начала работу Рабочую группу по ALGOL, или WG2.1. Эта группа выпустила обновленную спецификацию ALGOL 60 в Риме в апреле 1962 года. На последующем заседании в марте 1964 года было решено, что группа должна начать работу над двумя последующими стандартами, ALGOL X , который будет переопределением языка с некоторыми дополнениями, и ALGOL Y , который будет иметь возможность изменять свои собственные программы в стиле языка LISP . ^[21]

Первая встреча группы ALGOL X состоялась в Принстонском университете в мае 1965 года. В отчете о встрече были отмечены две широко поддерживаемые темы: введение строгой типизации и интерес к концепциям Эйлера «деревьев» или «списков» для обработки коллекций. ^[22]

На второй встрече в октябре во Франции были представлены три формальных предложения: ALGOL W Никлауса Вирта вместе с комментариями о структурах записей CAR (Tony) Hoare , похожий язык Герхарда Зеегмюллера и статья Адриана ван Вейнгаардена на тему «Ортогональное проектирование и описание формального языка». Последняя, ​​написанная на почти неразборчивой «W-грамматике», оказалась решающим сдвигом в развитии языка. Встреча завершилась соглашением о том, что ван Вейнгаарден перепишет предложение Вирта/Хора, используя свою W-грамматику. ^[22]

Эта, казалось бы, простая задача в конечном итоге оказалась сложнее, чем ожидалось, и последующую встречу пришлось отложить на шесть месяцев. Когда она состоялась в апреле 1966 года в Котвейке , черновик ван Вейнгаардена остался незавершенным, и Вирт и Хоар представили версию, использующую более традиционные описания. Было в целом решено, что их статья была «правильным языком в неправильном формализме». ^[23] По мере изучения этих подходов стало ясно, что существует разница в способе описания параметров, которая будет иметь реальные эффекты, и хотя Вирт и Хоар протестовали, что дальнейшие задержки могут стать бесконечными, комитет решил дождаться версии ван Вейнгаардена. Затем Вирт реализовал свое текущее определение как ALGOL W. ^[24]

На следующей встрече в Варшаве в октябре 1966 года ^[25] был представлен первоначальный отчет Подкомитета по вводу/выводу, который встречался в Национальной лаборатории Оук-Ридж и Иллинойсском университете , но еще не достиг большого прогресса. Два предложения с предыдущей встречи были снова изучены, и на этот раз возник новый спор об использовании указателей ; ALGOL W использовал их только для ссылки на записи, в то время как версия ван Вейнгаардена могла указывать на любой объект. Чтобы добавить путаницы, Джон Маккарти представил новое предложение по перегрузке операторов и возможности связывать вместе конструкции и или , а Клаус Самельсон хотел разрешить анонимные функции . В результате путаницы было некоторое обсуждение отказа от всех усилий. ^[24] Путаница продолжалась до того, что должно было стать встречей ALGOL Y в Зандвоорте в мае 1967 года. ^[22]

Проект отчета был наконец опубликован в феврале 1968 года. Это было встречено «шоком, ужасом и несогласием» ^[22] , в основном из-за сотен страниц нечитаемой грамматики и странной терминологии. Чарльз Х. Линдси попытался выяснить, какой «язык был скрыт внутри него» ^[26] , процесс, который занял шесть человеко-недель усилий. Получившаяся в результате статья «АЛГОЛ 68 с меньшим количеством слез» ^[27] была широко распространена. На более широком совещании по обработке информации в Цюрихе в мае 1968 года участники жаловались, что язык был навязан им и что IFIP был «истинным злодеем этой неразумной ситуации», поскольку совещания в основном были закрытыми и не было никакого формального механизма обратной связи. Вирт и Петер Наур официально отказались от своих авторских должностей в WG2.1 в то время. ^[26]

Следующая встреча WG2.1 состоялась в Тиррении в июне 1968 года. На ней предполагалось обсудить выпуск компиляторов и другие вопросы, но вместо этого она переросла в обсуждение языка. Ван Вейнгаарден ответил, заявив (или пригрозив), что он выпустит только еще одну версию отчета. К этому моменту Наур, Хоар и Вирт оставили работу, и еще несколько человек угрожали сделать это. ^[28] Последовало еще несколько встреч: в Норт-Бервике в августе 1968 года, в Мюнхене в декабре, которые привели к выпуску официального отчета в январе 1969 года, но также привели к написанию спорного отчета меньшинства. Наконец, в Банфе, Альберта , в сентябре 1969 года проект был в целом признан завершенным, и обсуждение в основном касалось исправлений и значительно расширенного введения к отчету. ^[29]

Усилия заняли пять лет, выжгли многие из величайших имен в компьютерной науке и несколько раз заходили в тупик из-за проблем как в определении, так и в группе в целом. Хоар почти сразу же выпустил «Критику ALGOL 68», ^[30] на которую широко ссылались во многих работах. Вирт продолжил развивать концепцию ALGOL W и выпустил ее как Pascal в 1970 году.

Первая реализация стандарта, основанная на черновике Отчета конца 1968 года, была представлена ​​Королевским радиолокационным учреждением в Великобритании как ALGOL 68-R в июле 1970 года. Однако это было подмножество полного языка, и Барри Майу , последний редактор Отчета, пошутил, что «Это вопрос морали. У нас есть Библия, а вы грешите!» ^[31] Тем не менее эта версия стала очень популярной на машинах ICL и стала широко используемым языком в военном кодировании, особенно в Великобритании. ^[32]

Среди изменений в 68-R было требование, чтобы все переменные были объявлены до их первого использования. Это имело существенное преимущество, поскольку позволяло компилятору быть однопроходным, поскольку место для переменных в записи активации отводилось до ее использования. Однако это изменение также имело побочный эффект, требуя, чтобы PROC были объявлены дважды, один раз как объявление типов, а затем еще раз как тело кода. Другое изменение заключалось в устранении предполагаемого режима VOID , выражения, которое не возвращает никакого значения (называемого оператором в других языках), и требуя добавления слова VOID там, где оно предполагалось. Кроме того, 68-R устранил явные команды параллельной обработки, основанные на PAR . ^[31]

Первая полная реализация языка была представлена ​​в 1974 году CDC Netherlands для серии мэйнфреймов Control Data . Она имела ограниченное применение, в основном в преподавании в Германии и Нидерландах. ^[32]

Версия, похожая на 68-R, была представлена ​​в Университете Карнеги-Меллона в 1976 году как 68S и снова представляла собой однопроходный компилятор, основанный на различных упрощениях оригинала и предназначенный для использования на меньших машинах, таких как DEC PDP-11 . Она также использовалась в основном в учебных целях. ^[32]

Версия для мэйнфреймов IBM не была доступна до 1978 года, когда ее выпустил Кембриджский университет . Она была «почти завершена». Линдси выпустила версию для небольших машин, включая IBM PC, в 1984 году. ^[32]

Известны три реализации Algol 68 с открытым исходным кодом: ^[33]

• a68g , GPLv3 , написанная Марселем ван дер Веером.
• algol68toc — программный порт ALGOL 68RS с открытым исходным кодом .
• Экспериментальный интерфейс Algol68 для GCC , написанный Хосе Э. Маркези. ^[34]

• «Краткая история Алгола 68»
• АЛГОЛ 68 – АЛГОЛ 3-го поколения

• Март 1968: Проект отчета об алгоритмическом языке ALGOL 68 ^[42] – под редакцией: Адриана ван Вейнгаардена , Барри Дж. Майу , Джона Пека и Корнелиса Х.А. Костера .

«Ван Вейнгаарден однажды охарактеризовал четырех авторов, несколько иронично, как: Костер: транспьютер, Пек: синтаксис, Майу: исполнитель, Ван Вейнгаарден: партийный идеолог». – Костер.

• Октябрь 1968 г.: Предпоследний черновик отчета по алгоритмическому языку АЛГОЛ 68 — Главы 1–9 ^[43], Главы 10–12 ^[44] — Под редакцией: А. ван Вейнгаардена, Б. Дж. Майлу, Дж. Э. Л. Пека и Ч. А. Костера.
• Декабрь 1968 г.: Отчет об алгоритмическом языке АЛГОЛ 68 — Отпечаток из журнала Numerische Mathematik, 14, 79–218 (1969); Спрингер-Верлаг. ^[45] — Под редакцией: А. ван Вейнгаарден, Б. Дж. Майу, Дж. Э. Пек и ЧА Костер.
• Март 1970 г.: отчет меньшинства, ALGOL Bulletin AB31.1.1 — подписанный Эдсгером Дейкстрой , Фрейзером Дунканом, Яном Гарвиком, Тони Хоаром , Брайаном Рэнделлом , Герхардом Зегмюллером, Владом Турски и Майком Вуджером .
• Сентябрь 1973 г.: Пересмотренный отчет об алгоритмическом языке Algol 68 - Springer-Verlag 1976 ^[46] - Под редакцией: А. ван Вейнгаарден, Б. Майлу, Дж. Пек, К. Костер, Мишель Синцов , Чарльз Х. Линдси , Ламберт Меертенс. и Ричард Г. Фискер.
• другие члены WG 2.1, работающие над проектированием ALGOL 68: ^[18] Фридрих Л. Бауэр • Ханс Бекич • Герхард Гус • Питер Зилахи Ингерман • Питер Ландин • Джон Маккарти • Джек Мернер • Питер Наур • Манфред Пауль • Виллем ван дер Поэль • Дуг Росс • Клаус Самельсон • Никлаус Вирт • Нобуо Йонеда .

1968: 20 декабря 1968 года «Заключительный отчет» (MR 101) был принят рабочей группой, а затем впоследствии одобрен Генеральной ассамблеей IFIP ЮНЕСКО для публикации. Переводы стандарта были сделаны на русский, немецкий , французский и болгарский языки , а затем на японский и китайский языки . ^[47] Стандарт также был доступен на языке Брайля .

1984: TC 97 рассматривал ALGOL 68 для стандартизации как «Новый рабочий элемент» TC97/N1642 [2][3]. Западная Германия, Бельгия, Нидерланды, СССР и Чехословакия были готовы участвовать в подготовке стандарта, но СССР и Чехословакия «не были нужными членами нужных комитетов ISO»[4], и стандартизация ISO Algol 68 застопорилась.[5]

1988: Впоследствии АЛГОЛ 68 стал одним из стандартов ГОСТ в России.

• ГОСТ 27974-88 Язык программирования АЛГОЛ 68 — Язык программирования АЛГОЛ 68 ^[48]
• ГОСТ 27975-88 Язык программирования АЛГОЛ 68 расширенный — Язык программирования АЛГОЛ 68 расширенный ^[49]

Стандартный язык содержит около шестидесяти зарезервированных слов, которые обычно выделяются жирным шрифтом при печати, а некоторые имеют эквиваленты в виде «кратких символов»:

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 "@", ЛИБО r0 , IS ":=:", ISNT  IS NOT r0 ":/=:" ":≠:", OF "→" r0 , TRUE , FALSE , EMPTY , NIL "○", SKIP "~", CO "¢", COMMENT "¢", PR , PRAGMAT , CASE ~ IN ~ OUSE ~ IN ~ OUT ~ ESAC "( ~ | ~ |: ~ | ~ | ~ )", ДЛЯ ~ ОТ ~ ДО ~ ПО ~ ПОКА ~ ДО ~ ОД , ЕСЛИ ~ ТО ~ ELIF ~ ТО ~ ИНАЧЕ ~ ФИ "( ~ | ~ |: ~ | ~ | ~ )", ПАР  НАЧАЛО ~ КОНЕЦ "( ~ )", ПЕРЕЙТИ К , ПЕРЕЙТИ К , ВЫЙТИ "□" r0 .

Базовая языковая конструкция — это unit . Unit может быть формулой , вложенным предложением , обычным текстом или одной из нескольких технически необходимых конструкций (assignation, jump, skip, nihil). Технический термин вложенное предложение объединяет некоторые из изначально скобочных конструкций, известных как block , do statement , switch в других современных языках. Когда используются ключевые слова, обычно для завершения вложения используется обратная последовательность символов вводного ключевого слова, например ( IF ~ THEN ~ ELSE ~ FI , CASE ~ IN ~ OUT ~ ESAC , FOR ~ WHILE ~ DO ~ OD ). Этот синтаксис защищенных команд был повторно использован Стивеном Борном в общей оболочке Unix Bourne . Выражение также может выдавать множественное значение , которое создается из других значений с помощью сопутствующего предложения . Эта конструкция выглядит просто как пакет параметров вызова процедуры.

Базовыми типами данных (называемых modes в жаргоне Algol 68) являются real, int, compl( комплексное число ), bool, char, bitsи bytes. Например:

INT n = 2; CO n фиксировано как константа 2. CO INT m := 3; CO m — это вновь созданная локальная переменная , значение которой изначально установлено равным 3. CO CO Это сокращение от ref  int m = loc  int  := 3; CO REAL авогадро = 6,0221415⏨23; CO Число Авогадро CO long long real long long pi = 3,14159 26535 89793 23846 26433 83279 50288 41971 69399 37510; COMPL квадратный корень из минус единицы = 0 ⊥ 1;

Однако это объявление REAL x;— всего лишь синтаксический сахар для . То есть, на самом деле это постоянный идентификатор для ссылки на недавно сгенерированную локальную переменную REAL .REF REAL x = LOC REAL;x

Более того, вместо определения floatи double, или intи longи shortи т. д., ALGOL 68 предоставляет модификаторы , так что в настоящее время общепринятое doubleбудет записано как LONG REAL или LONG LONG REAL вместо этого, например. Константы прелюдии max real и min long intпредоставляются для адаптации программ к различным реализациям.

Все переменные должны быть объявлены, но объявление не обязательно должно предшествовать первому использованию.

примитивный декларатор: INT , REAL , COMPL , COMPLEX ^G , BOOL , CHAR , STRING , BITS , BYTES , FORMAT , FILE , PIPE ^G , CHANNEL , SEMA

• BITS – «упакованный вектор» BOOL .
• BYTES – «упакованный вектор» CHAR .
• STRING – гибкий массив CHAR .
• SEMA – фор SEMA , который можно инициализировать с помощью оператора LEVEL .

Сложные типы можно создавать из более простых с помощью различных конструкторов типов:

• REF mode – ссылка на значение типа mode , аналогично & в C/C++ и REF в Pascal
• STRUCT – используется для создания структур, таких как STRUCT в C/C++ и RECORD в Pascal.
• UNION – используется для создания объединений, как в C/C++ и Pascal.
• PROC – используется для указания процедур, таких как функции в C/C++ и процедуры/функции в Pascal.

Некоторые примеры см. в разделе Сравнение ALGOL 68 и C++ .

Другие символы объявления включают: FLEX , HEAP , LOC , REF , LONG , SHORT , EVENT ^S.

• FLEX – объявляет массив гибким, т.е. он может увеличиваться в длине по мере необходимости.
• HEAP – выделить переменной немного свободного пространства из глобальной кучи.
• LOC – выделить переменной некоторое свободное пространство локального стека.
• LONG – объявляет INT , REAL или COMPL имеющими размер LONG er.
• SHORT – объявляет INT , REAL или COMPL размером SHORT er.

Имя режима (типа) можно объявить с помощью объявления MODE , которое аналогично TYPEDEF в C/C++ и TYPE в Pascal:

 INT max=99; MODE newmode = [0:9][0:max] STRUCT ( LONG  REAL a, b, c, SHORT  INT i, j, k, REF  REAL r );

Это похоже на следующий код на языке C:

 const int max = 99 ; typedef struct { double a , b , c ; short i , j , k ; float * r ; } newmode [ 9 + 1 ][ max + 1 ];                 

Для ALGOL 68 слева от символа равенства появляется только режим-индикация NEWMODE , и, что самое примечательное, конструкция выполняется и может быть прочитана слева направо без учета приоритетов. Кроме того, нижняя граница массивов Algol 68 по умолчанию равна единице, но может быть любым целым числом от - max int до max int .

Декларации режимов позволяют типам быть рекурсивными : определенными напрямую или косвенно в терминах самих себя. Это имеет некоторые ограничения — например, эти декларации незаконны:

 РЕЖИМ  A = REF  A  РЕЖИМ  A = STRUCT ( A a, B b) РЕЖИМ  A = PROC ( A a) A

пока они действительны:

 РЕЖИМ  A = СТРУКТУРА ( ССЫЛКА  A a, B b) РЕЖИМ  A = ПРОЦЕСС ( ССЫЛКА  A a) ССЫЛКА  A

Принуждения создают принуждение из принуждения в соответствии с тремя критериями: априорный режим принуждения до применения любого принуждения, апостериорный режим принуждения, требуемый после этих принуждений, и синтаксическая позиция или «сорт» принуждения. Принуждения могут быть каскадными .

Шесть возможных принуждений называются deproceduring , dereferencing , uniting , widening , rowing и voiding . Каждое принуждение, за исключением uniting , предписывает соответствующий динамический эффект на ассоциированные значения. Следовательно, многие примитивные действия могут быть запрограммированы неявно с помощью принуждений.

Сила контекста – разрешенные принуждения:

• мягкий – депроцедурирование
• слабый – разыменование или депроцедурирование, получение имени
• кроткий – разыменование или депроцедурирование
• твердый – кроткий, за которым следует объединяющий
• сильный – твердый, с последующим расширением, тяжестью или опорожнением

ALGOL 68 имеет иерархию контекстов, которые определяют вид приведения, доступного в определенной точке программы. Эти контексты:

Более подробную информацию о первичных, вторичных, третичных и четвертичных операторах см. в разделе Приоритет операторов.

Прагматы — это директивы в программе, обычно подсказки для компилятора; в новых языках они называются «прагмами» (без «t»). Например:

PRAGMAT куча=32 PRAGMAT PR куча=32 PR

Комментарии можно вставлять разными способами:

¢ Оригинальный способ добавить свои 2 цента в программу ¢ КОММЕНТАРИЙ "жирный" комментарий КОММЕНТАРИЙ CO Стиль i комментарий CO# Стиль ii комментарий #£ Это комментарий с решеткой для британской клавиатуры £

Обычно комментарии не могут быть вложенными в ALGOL 68. Это ограничение можно обойти, используя различные разделители комментариев (например, использовать хэш только для временного удаления кода).

Поскольку ALGOL 68 является языком программирования, ориентированным на выражения , возвращаемое оператором присваивания значение является ссылкой на место назначения. Таким образом, следующий код ALGOL 68 является допустимым:

 REAL половина пи, одно пи; одно пи := 2 * ( половина пи := 2 * arctan(1) )

Это понятие присутствует в C и Perl , среди прочих. Обратите внимание, что как и в более ранних языках, таких как Algol 60 и FORTRAN , в идентификаторах разрешены пробелы, так что half piэто один идентификатор (таким образом избегая подчеркиваний , camel case и всех проблем со строчными буквами ).

В качестве другого примера, чтобы выразить математическую идею суммы от i= 1 f(i)до n, достаточно следующего целочисленного выражения АЛГОЛа 68 :

( INT сумма := 0; ДЛЯ i ДЛЯ n DO сумма +:= f(i) OD ; сумма)

Обратите внимание, что, будучи целочисленным выражением, предыдущий блок кода может использоваться в любом контексте, где может использоваться целочисленное значение . Блок кода возвращает значение последнего вычисленного им выражения; эта идея присутствует в Lisp и других языках.

Все составные операторы завершаются характерными закрывающимися скобками:

• Условия выбора ЕСЛИ :

 IF условие THEN операторы [ ELSE операторы ] FI «краткая» форма: ( условие | утверждения | утверждения )

 IF условие1 THEN операторы ELIF условие2 THEN операторы [ ELSE операторы ] FI «краткая» форма: ( условие1 | утверждения |: условие2 | утверждения | утверждения )

Эта схема не только позволяет избежать проблемы висячего else , но и позволяет избежать необходимости использования BEGINand ENDво встроенных последовательностях операторов .

• Условия выбора CASE :

 Операторы переключения CASE IN , операторы,... [ операторы OUT ] ESAC «краткая» форма: (переключатель | утверждения,утверждения,... | утверждения)

 CASE switch1 IN операторы, операторы,... OUSE switch2 IN операторы, операторы,... [ OUT операторы ] «Краткая» форма ESAC оператора CASE : ( switch1 | операторы, операторы,... |: switch2 | операторы, операторы,... | операторы )

Пример придаточного предложения с краткими символами:

PROC дней в месяце = ( INT год, месяц) INT : (месяц| 31, (год÷×4=0 ∧ год÷×100≠0 ∨ год÷×400=0 | 29 | 28 ), 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 );

Пример предложения выбора с жирным шрифтом:

PROC дней в месяце = ( INT год, месяц) INT : CASE месяц IN 31, ЕСЛИ год MOD 4 EQ 0 И год MOD 100 NE 0 ИЛИ год MOD 400 EQ 0 ТО 29 ИНАЧЕ 28 FI , 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 ЕСАК ;

Пример варианта предложения, сочетающего жирные и краткие символы:

PROC дней в месяце = ( INT год, месяц) INT : CASE месяц IN¢Янв¢ 31,¢Фев¢ (год MOD 4 = 0 И год MOD 100 ≠ 0 ИЛИ год MOD 400 = 0 | 29 | 28 ),¢Мар¢ 31, 30, 31, 30, 31, 30, 31, 30, 31 ¢ по дек. ¢ ЕСАК ;

Algol68 допускает использование переключателя типа INT или (уникально) UNION . Последний вариант позволяет применять строгую типизацию к переменным UNION . Например, см. union ниже.

• предложение цикла do :

[ FOR index ] [ FROM first ] [ BY increment ] [ TO last ] [ WHILE condition ] Операторы DO OD Минимальная форма «предложения цикла» выглядит следующим образом: операторы DO OD

Это считалось «универсальным» циклом , полный синтаксис которого следующий:

ДЛЯ i ОТ 1 НА -22 ДО -333 ПОКА i×i≠4444 ДЕЛАТЬ ~ OD

Конструкция имеет несколько необычных аспектов:

• Только часть DO ~ OD была обязательной, в этом случае цикл будет повторяться бесконечно.
• Таким образом, предложение TO 100 DO ~ OD будет повторяться только 100 раз.
• «Синтаксический элемент» WHILE позволял программисту преждевременно выйти из цикла FOR . Например :

INT сумма sq:=0; ДЛЯ i ПОКА print(("Пока что:",i,newline)); сумма кв≠70↑2ДЕЛАТЬ сумма кв+:=i↑2ОД

Последующие "расширения" стандартного Algol68 позволили заменить синтаксический элемент TO на UPTO и DOWNTO для достижения небольшой оптимизации. Те же компиляторы также включили:

• UNTIL ^(C) – для позднего завершения цикла.
• FOREACH ^{(S) – для} параллельной работы с массивами .

Дополнительные примеры можно найти в примерах кода ниже.

ALGOL 68 поддерживает массивы с любым количеством измерений и позволяет разбивать на части целые или частичные строки и столбцы.

 MODE  VECTOR = [1:3] REAL ; # объявление MODE вектора (typedef) #  MODE  MATRIX = [1:3,1:3] REAL ; # объявление MODE матрицы (typedef) #  VECTOR v1 := (1,2,3); # переменная массива изначально (1,2,3) # [] REAL v2 = (4,5,6); # массив констант, тип эквивалентен VECTOR , границы подразумеваются #  OP + = ( VECTOR a,b) VECTOR : # определение бинарного оператора # ( VECTOR out; FOR i FROM ⌊a TO ⌈a DO out[i] := a[i]+b[i] OD ; out); MATRIX m := (v1, v2, v1+v2); print ((m[,2:])); # срез 2-го и 3-го столбцов #

Матрицы можно разрезать любым способом, например:

 REF  VECTOR row = m[2,]; # определить REF (указатель) на 2-ю строку #  REF  VECTOR col = m[,2]; # определить REF (указатель) на 2-й столбец #

ALGOL 68 поддерживает множественные структуры полей ( STRUCT ) и объединенные режимы . Ссылочные переменные могут указывать на любой MODE , включая срезы массива и поля структуры.

В качестве примера приведем традиционное объявление связанного списка:

 MODE  NODE = UNION ( VOID , REAL , INT , COMPL , STRING ), LIST = STRUCT ( NODE val, REF  LIST next);

Пример использования UNION CASE для NODE :

 УЗЕЛ n := "1234"; REAL r; INT i; COMPL c; СТРОКА s КЕЙС r,i,c,s::=n IN print(("действительный:", r)), print(("int:", i)), print(("compl:", c)), print(("строка:", s)) OUT print(("?:", n)) ESAC

 УЗЕЛ n := "1234"; # или n := ПУСТО; # CASE n IN ( VOID ): print(("void:", "EMPTY")), ( REAL r): print(("real:", r)), ( INT i): печать(("int:", i)), ( КОМПЛ c): print(("компл:", c)), ( СТРОКА s): печать(("строка:", s)) ВЫХОД печать(("?:", n)) ESAC

Для объявлений процедур ( PROC ) требуются спецификации типов как для параметров, так и для результата ( VOID , если нет):

 PROC max of real = ( REAL a, b) REAL : IF a > b THEN a ELSE b FI ;

или, используя «краткую» форму условного предложения:

 PROC max of real = ( REAL a, b) REAL : (a>b | a | b);

Возвращаемое значение a proc— это значение последнего выражения, вычисленного в процедуре. Ссылки на процедуры ( ref proc ) также разрешены. Параметры вызова по ссылке предоставляются путем указания ссылок (например, ref real) в списке формальных аргументов. В следующем примере определяется процедура, которая применяет функцию (указанную как параметр) к каждому элементу массива:

 PROC применить = ( REF [] REAL a, PROC ( REAL ) REAL f):   ДЛЯ i ОТ  LWB a ДО  UPB a ДО a[i] := f(a[i]) OD

Такая простота кода была недостижима в предшественнике ALGOL 68 — ALGOL 60 .

Программист может определить новые операторы , и как те, так и предопределенные могут быть перегружены , а их приоритеты могут быть изменены кодером. Следующий пример определяет оператор 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 out := a[ LWB a]; ДЛЯ i ОТ  LWB a + 1 ДО  UPB a ДО ( a[i]>out | out:=a[i] ) OD ; вне)

Технически они не являются операторами, а скорее считаются «единицами, связанными с именами».

Конкретные детали:

• К третичным относятся имена NIL и ○.
• LWS : В Algol68 ^r0 операторы LWS и ⎩ ... оба возвращают значение ИСТИНА , если нижнее состояние размерности массива фиксировано.
• Операторы UPS и ⎧ на верхнем уровне аналогичны .
• Операторы LWB и UPB автоматически доступны для UNION различных порядков (и MODE ) массивов. Например , UPBunion([]int, [,]real, flex[,,,]char)

Технически они не являются операторами, а скорее считаются «единицами, связанными с именами».

Примечание: четвертичные периоды включают названия SKIP и ~.

:=:(альтернативно IS ) проверяет, равны ли два указателя; (альтернативно ISNT ) проверяет, не равны ли они.:/=:

Попробуйте сравнить два значения указателя, например, следующие переменные, объявленные как указатели на целое число:

REF INT ip, jp

Теперь рассмотрим, как решить, указывают ли эти два на одно и то же место или один из них указывает на NIL . Следующее выражение

ip = jp

разыменует оба указателя вниз на значения типа INT и сравнит их, поскольку оператор = определен для INT , но не REF INT . Недопустимо определять = для операндов типа REF INT и INT одновременно, поскольку тогда вызовы становятся неоднозначными из-за неявных приведения, которые могут быть применены: следует ли оставить операнды как REF INT и вызвать эту версию оператора? Или их следует разыменовать далее на INT и вместо этого использовать эту версию? Поэтому следующее выражение никогда не может быть сделано допустимым:

ip = NIL

Отсюда необходимость в отдельных конструкциях, не подчиняющихся обычным правилам приведения операндов к операторам. Но есть подвох. Следующие выражения:

ip :=: jp

ip :=: NIL

хотя это и допустимо, вероятно, не будет делать то, что можно было бы ожидать. Они всегда будут возвращать FALSE , потому что они сравнивают фактические адреса переменных и , а не то, на что они указывают . Чтобы добиться правильного эффекта, нужно было бы написатьipjp

ip :=: REF INT(jp)

ip :=: REF INT(NIL)

Большинство «специальных» символов Algol (⊂, ≡, ␣, ×, ÷, ≤, ≥, ≠, ¬, ⊃, ≡, ∨, ∧, →, ↓, ↑, ⌊, ⌈, ⎩, ⎧, ⊥, ⏨, ¢, ○ и □) можно найти на клавиатуре IBM 2741 со вставленной печатающей головкой APL «гольф-мяч»; они стали доступны в середине 1960-х годов, когда разрабатывался ALGOL 68. Эти символы также являются частью стандарта Unicode , и большинство из них доступны в нескольких популярных шрифтах .

Transput — это термин, используемый для обозначения входных и выходных возможностей ALGOL 68. Он включает предопределенные процедуры для неформатированного, форматированного и двоичного transput. Файлы и другие устройства transput обрабатываются согласованным и машинно-независимым образом. Следующий пример выводит некоторый неформатированный вывод на стандартное выходное устройство:

 print ((newpage, "Заголовок", newline, "Значение i равно ", i, "и x[i] есть ", x[i], новая строка))

Обратите внимание на предопределенные процедуры newpageи newlineпереданные в качестве аргументов.

ПЕРЕДАЧЕЙ считаются КНИГИ , КАНАЛЫ и ФАЙЛЫ :​

• Книги состоят из страниц, строк и символов и могут иметь резервные копии в файлах.
  • Конкретную книгу можно найти по названию, вызвав match.
• КАНАЛЫ соответствуют физическим устройствам, например, перфокартам и принтерам.
  • Различают три стандартных канала: канал stand in , канал stand out , канал stand back .
• ФАЙЛ — это средство связи между программой и книгой, открытой по некоторому каналу.
  • MOOD файла может быть прочитан, записан, преобразован в символ, преобразован в двоичный код и открыт .
  • Процедуры транспортировки включают в себя: establish, create, open, associate, lock, close, scratch.
  • Запросы на должность: char number, line number, page number.
  • Процедуры макетирования включают в себя:
    • space, backspace, newline, newpage.
    • get good line, get good page, get good book, иPROC set=(REF FILE f, INT page,line,char)VOID:
  • Файл имеет процедуры обработки событий , например on logical file end, on physical file end, on page end, on line end, on format end, on value error, on char error:

«Форматированный перенос» в переносе ALGOL 68 имеет свой собственный синтаксис и шаблоны (функции), с FORMAT , встроенным между двумя символами $. ^[50]

Примеры:

printf (($2l"Сумма равна:"x, g(0)$, m + n)); ¢ печатает то же самое, что и: ¢ print ((новая строка, новая строка, "Сумма равна:", пробел, целое (m + n, 0))

ALGOL 68 поддерживает программирование параллельной обработки. Используя ключевое слово PAR , побочное предложение преобразуется в параллельное предложение , где синхронизация действий контролируется с помощью семафоров . В A68G параллельные действия отображаются в потоки, если они доступны в операционной системе хостинга . В A68S была реализована другая парадигма параллельной обработки (см. ниже).

PROC eat = VOID : ( muffins-:=1; print(("Вкусно!",новая строка))), speak = VOID : ( words-:=1; print(("Як...",новая строка))); INT маффины := 4, слова := 8; SEMA рот = УРОВЕНЬ 1; ПАР  НАЧАТЬ  ПОКА кексы > 0 ДЕЛАТЬ  ВНИЗ рот; есть; ВВЕРХ рот OD , ПОКА слова > 0 ДЕЛАТЬ  ВНИЗ рот; говорить; ВЕРХНИЙ РОТ OD КОНЕЦ

Из-за своей технической сложности АЛГОЛ 68 нуждается в изобилии методов, чтобы отрицать существование чего-либо:

SKIP , "~" или "?" C – неопределенное значение, всегда синтаксически допустимое, EMPTY – единственное допустимое для VOID значение , необходимое для выбора VOID в UNION , VOID – синтаксически похоже на MODE , но не является им, NIL или "○" – имя, ничего не обозначающее, неопределенного режима ссылки,() или конкретно [1:0] INT – вакуум – это пустой массив (в данном случае конкретно MODE [] INT ). undefined – процедура отчетов о стандартах, вызывающая исключение в системе выполнения.ℵ – Используется в отчете о стандартах для подавления интроспекции определенных типов. Например, SEMA

Термин NIL IS var всегда оценивается как TRUE для любой переменной (но см. выше правильное использование IS  :/=:), тогда как неизвестно, какое значение оценивает сравнение x < SKIP для любого целого числа x .

ALGOL 68 намеренно оставляет неопределенными то, что происходит в случае переполнения целых чисел , битовое представление целых чисел и степень числовой точности для чисел с плавающей точкой.

Оба официальных отчета включали некоторые расширенные функции, которые не были частью стандартного языка. Они были обозначены ℵ и считались фактически частными. Примерами являются "≮" и "≯" для шаблонов, OUTTYPE / INTYPE для грубой утиной типизации и операторы STRAIGHTOUT и STRAIGHTIN для "выпрямления" вложенных массивов и структур.

Этот пример программы реализует решето Эратосфена для поиска всех простых чисел , меньших 100. NIL — это аналог нулевого указателя в ALGOL 68 в других языках. Обозначение x OF y обращается к члену x структуры STRUCT y .

НАЧАЛО # Решето простых чисел Алгола-68, функциональный стиль #   Ошибка PROC = ( 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 фильтр = ( PROC ( INT ) BOOL p, СПИСОК l) СПИСОК : ЕСЛИ l ЕСТЬ  NIL  ТО  NIL  ELIF p(hd(l)) ТО cons(hd(l), фильтр(p,tl(l))) ИНАЧЕ фильтр(p, tl(l)) FI ;   PROC sieve = ( LIST l) LIST : IF l IS  NIL  THEN  NIL  ELSE  PROC не кратно = ( INT n) BOOL : n MOD hd(l) ~= 0; cons(hd(l), sieve( filter( not multiple, tl(l) ))) ФИ ;   PROC primes = ( INT n) LIST : sieve( tl( one to(n) ));   показать( простые числа(100) )КОНЕЦ

• Компьютер Cambridge CAP – Все процедуры, составляющие операционную систему, были написаны на языке ALGOL 68C , хотя несколько других тесно связанных защищенных процедур, таких как пагинатор, написаны на языке BCPL . ^[51]
• Eldon 3 – Разработан в Университете Лидса для ICL 1900 и написан на ALGOL 68-R . ^[52]
• Flex machine – Аппаратное обеспечение было индивидуальным и микропрограммируемым, с операционной системой, (модульным) компилятором, редактором, сборщиком мусора и системой хранения файлов, все написанное на ALGOL 68RS . Командная оболочка Curt ^[53] была разработана для доступа к типизированным данным, аналогичным режимам Algol-68.
• VME – S3 был языком реализации операционной системы VME. S3 был основан на ALGOL 68, но с типами данных и операторами, соответствующими тем, которые предлагались в серии ICL 2900 .

Примечание: советские компьютеры Эльбрус-1 (Эльбрус-1) и Эльбрус-2 были созданы с использованием языка высокого уровня Эль-76 (АЛ-76), а не традиционного ассемблера. Эль-76 напоминает Алгол-68, главное отличие — динамические типы связывания в Эль-76, поддерживаемые на аппаратном уровне. Эль-76 используется для приложений, управления заданиями, системного программирования. ^[54]

Оба языка ALGOL 68C и ALGOL 68-R написаны на ALGOL 68, что фактически делает ALGOL 68 приложением самого себя. Другие приложения включают:

• ELLA – язык описания оборудования и набор инструментов поддержки. Разработан Королевским управлением связи и радиолокации в 1980-х и 1990-х годах.
• Система управления ударом Королевских ВВС – «... 400 Кб безошибочного кода ALGOL 68-RT было создано за три человеко-года работы. ...» ^[55]

• NAG Numerical Libraries – программная библиотека подпрограмм численного анализа . Поставлялась на ALGOL 68 в 1980-х годах.
• TORRIX – система программирования для операций с векторами и матрицами над произвольными полями и переменного размера, разработанная С. Г. ван дер Мейленом и М. Вельдхорстом. ^[56]

Особенностью ALGOL 68, унаследованной от традиции ALGOL , являются его различные представления. Существует язык представления, используемый для описания алгоритмов в печатных работах, строгий язык (строго определенный в Отчете) и официальный справочный язык, предназначенный для использования во входных данных компилятора. Примеры содержат слова, выделенные ЖИРНЫМ шрифтом, это СТРОГИЙ язык. Зарезервированные слова ALGOL 68 фактически находятся в другом пространстве имен, нежели идентификаторы, и в идентификаторах разрешены пробелы, поэтому следующий фрагмент является допустимым:

 INT действительное целое = 3 ;

Программист, который пишет исполняемый код, не всегда имеет возможность использовать шрифт BOLD или подчеркивание в коде, поскольку это может зависеть от аппаратных и культурных особенностей. Были разработаны различные методы обозначения этих идентификаторов. Это называется режимом стропинга . Например, все или некоторые из следующих могут быть доступными представлениями программирования :

 INT a real int = 3; # СТРОГИЙ язык #'INT'A REAL INT = 3; # QUOTE стиль правки #.INT A REAL INT = 3; # POINT стиль правки # INT a real int = 3; # ВЕРХНИЙ стиль правки # int a_real_int = 3; # Стиль правки RES, есть 61 зарезервированное слово #

Все реализации должны распознавать как минимум POINT, UPPER и RES внутри разделов PRAGMAT. Из них POINT и UPPER стропы встречаются довольно часто, в то время как RES стропы противоречат спецификации (поскольку нет зарезервированных слов). QUOTE (одинарное апострофное кавычивание) было первоначальной рекомендацией, в то время как парное апострофное кавычивание, распространенное в ALGOL 60, нечасто используется в ALGOL 68. ^[57]

Следующие символы были рекомендованы для переносимости и названы «достойными символами» в Отчете о стандартном аппаратном представлении Алгола 68, архивированном 2 января 2014 г. на Wayback Machine :

• ^ Достойные символы: ABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789 "#$%'()*+,-./:;<=>@[ ]_|

Это отражало проблему 1960-х годов, когда некоторое оборудование не поддерживало строчные буквы и некоторые другие символы, не входящие в ASCII . В отчете 1973 года было написано: «Четыре достойных символа — «|», «_», «[» и «]» — часто кодируются по-разному, даже в установках, которые номинально используют один и тот же набор символов».

• Базовые персонажи: «Достойные персонажи» являются подмножеством «базовых персонажей».

¢ подчеркивание или  жирный шрифт ¢  MODE  XINT = INT ; XINT сумма sq:=0; FOR i WHILE сумма кв≠70×70 ДЕЛАТЬ сумма кв+:=i↑2 ОД

'пр' цитата 'пр''режим' 'xint' = 'int';'xint' сумма sq:=0;«для» я «в то время как» сумма кв≠70×70'делать' сумма кв+:=i↑2'од'

. PR  ВЕРХНИЙ  .PRРЕЖИМ XINT = INT;XINT сумма sq:=0;НА ВРЕМЯ I сумма кв/=70*70ДЕЛАТЬ сумма кв+:=i**2ОД

. PR-  ПОЧКА  .PR
. РЕЖИМ  .XINT  =  .INT;
. XINT  SUM  SQ:=0;
. ДЛЯ  Я  .ПОКА СУММА КВ. ПЛОЩАДЬ 70*70. ДЕЛАТЬ СУММА SQ .PLUSAB I .UP 2. ОД

. PR  РЕЗ  .PRрежим .xint = int;. xint  сумма  sq:=0;для меня пока сумма кв≠70×70делать сумма кв+:=i↑2од

ALGOL 68 позволяет каждому естественному языку определять свой собственный набор ключевых слов Algol-68. В результате программисты могут писать программы, используя ключевые слова из своего родного языка. Ниже приведен пример простой процедуры, которая вычисляет "следующий день", код на двух языках: английском и немецком. ^{[ необходима цитата ]}

# Дата следующего дня - английский вариант # MODE  DATE = STRUCT ( INT день, STRING месяц, INT год); PROC следующий день = ( DATE x) ДАТА : IF день x < длина месяца (месяц x , год x ) THEN (день x + 1, месяц x , год x ) ELIF месяц x = "Декабрь" THEN (1, "Январь", год x + 1) ELSE (1, следующий за месяцем (месяц x ), год x ) FI ;

# Nachfolgetag - Deutsche Variante # MENGE  DATUM = TUPEL ( тег GANZ , 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 = "Декабрь" ДАНН (1, "Январь", яр VON x + 1) ANSONSTEN (1, nachfolgemonat(monat VON x), jahr VON x) ENDEWENN ;

Русский/советский пример: в английском языке оператор case в Algol68 выглядит так: CASE ~ IN ~ OUT ~ ESAC , в кириллице это выглядит так: выб ~ в ~ либо ~ быв .

За исключением особо оговоренных случаев (с ^{верхним индексом} ), язык, описанный выше, соответствует языку «Пересмотренного отчета ^(r1) ».

Исходный язык (согласно "Final Report" ^r0 ) отличается синтаксисом режима cast , и он имел функцию proceduring , т.е. приведение значения терма к процедуре, которая оценивает терм. Proceduring был предназначен для того, чтобы сделать оценки ленивыми . Наиболее полезным применением могла бы быть сокращенная оценка булевых операторов. В:

OP  ANDF = ( BOOL a, PROC  BOOL b) BOOL :(a | b | ЛОЖЬ ); OP  ORF = ( BOOL a, PROC  BOOL b) BOOL :(a | ИСТИНА | b);

b оценивается только в том случае, если a истинно.

Как определено в ALGOL 68, это не работало так, как ожидалось, например, в коде:

ЕСЛИ  ЛОЖЬ  И F  CO proc bool: CO ( print ("Не следует выполнять"); ИСТИНА ) ТОГДА ...

Вопреки наивным ожиданиям программистов, печать будет выполнена, поскольку это только значение разработанного вложенного предложения после ANDF , которое было обработано. Текстовая вставка закомментированного PROC BOOL : заставляет это работать.

Некоторые реализации имитируют ожидаемое поведение для этого особого случая путем расширения языка.

До пересмотра программист мог решить, что аргументы процедуры должны оцениваться последовательно, а не параллельно, используя точки с запятой вместо запятых ( gomma s).

Например, в:

PROC тест = ( REAL a; REAL b) :......тест (x ПЛЮС 1, x);

Первый аргумент для проверки гарантированно будет оценен раньше второго, но в обычном порядке:

PROC тест = ( REAL a, b) :......тест (x ПЛЮС 1, x);

затем компилятор может оценивать аргументы в любом удобном ему порядке.

После пересмотра отчета были предложены некоторые дополнения к формулировкам для расширения сферы применения:

• частичная параметризация ( карринг ): создание функций (с меньшим количеством параметров) путем указания некоторых, но не всех параметров для вызова, например, логарифм функции двух параметров, основания и аргумента, может быть специализирован до натурального, двоичного или десятичного логарифма, ^[58]
• расширение модуля : для поддержки внешней связи были предложены два механизма: модули определения снизу вверх , более мощная версия средств из ALGOL 68-R и дыры сверху вниз , аналогичные предложениям ENVIRONи USINGиз ALGOL 68C ^[59]
• параметры режима : для реализации ограниченного параметрического полиморфизма (большинство операций над структурами данных, такими как списки, деревья или другие контейнеры данных, могут быть указаны без изменения полезной нагрузки). ^[60]

До сих пор в Algol 68 Genie реализована лишь частичная параметризация.

Имя	Год	Цель	Состояние	Описание	Целевой ЦП	Лицензирование	Язык реализации
Обобщенный АЛГОЛ	1962	Научный	НЛД	АЛГОЛ для обобщенных грамматик
АЛГОЛ Y Y	1966	Проект предложения	Международный	Первая версия Алгола 68	Спецификация	АКМ
АЛГОЛ 68 ДР	1968	Проект предложения	Международный	Проект отчета IFIP WG 2.1	Спецификация – март	АКМ
АЛГОЛ 68 р0	1968	Стандарт	Международный	Заключительный отчет рабочей группы IFIP WG 2.1	Спецификация – август	АКМ
АЛГОЛ 68-Р Р	1970	Военный	Великобритания		МКЛ 1900		АЛГОЛ 60
ЭПОС АЛГОЛ Э	1971	Научный
АЛГОЛ 68RS RS	1972	Военный	Великобритания	Портативная система компиляции	ICL 2900/Серия 39, Multics, VMS и генератор C (1993)	Авторские права короны	АЛГОЛ 68RS
Алгол 68 с областями	1972	Экспериментальное и другое	Великобритания	Добавление областей к Алголу 68
Мини АЛГОЛ 68	1973	Исследовать	НЛД	"Интерпретатор простых программ на языке Algol 68" Архивировано 18 июля 2011 г. на Wayback Machine	Портативный переводчик	Математический центр	АЛГОЛ 60
ОРЕГАНО	1973	Исследовать	НАС	«Важность моделей внедрения».		Калифорнийский университет в Лос-Анджелесе
АЛГОЛ 68С С	1975	Научный	Великобритания	Кембридж Алгол 68	ICL , IBM 360, PDP 10 и Unix, Telefunken , Tesla и Z80 (1980) [61]	Кембридж	АЛГОЛ 68С
ALGOL 68 Пересмотренный отчет r1	1975	Стандарт	Международный	Пересмотренный отчет рабочей группы IFIP WG 2.1	Спецификация	АКМ
Алгол H H	1975	Экспериментальное и другое	Великобритания	Предлагаемые расширения системы мод Алгола 68	Спецификация		АЛГОЛ В
Одра Алгол 68	1976	практическое использование	Советский Союз / Польша		Одра 1204/IL	советский	АЛГОЛ 60
Оклахома АЛГОЛ 68	1976	инструкция по программированию	США	Реализация в Университете штата Оклахома [62]	IBM 1130 и System/370 /158	Неизвестный	ANSI Фортран 66 .
Берлин АЛГОЛ 68	1977	Исследовать	ДЕ	«Берлинская реализация ALGOL 68» и [63]	Абстрактная машина ALGOL 68 – машинно-независимый компилятор	Технический университет Берлина	КДЛ 2
ФЛАКК Ф	1977	Многоцелевой	МОЖЕТ	Пересмотренный отчет о полной реализации с функциями отладки	Система/370	аренда, Chion Corporation	Ассемблер
АЛГОЛ 68-РТ РТ	1979	Научный	Великобритания	Параллельный АЛГОЛ 68-Р
RS Алгол rs	1979	Научный	Великобритания
АЛГОЛ 68+	1980	Научный	НЛД	Предложенный суперязык АЛГОЛ 68 [64]
М-220 АЛГОЛ 68			Советский Союз		М-220	советский	ЭПСИЛОН
Ленинград АЛГОЛ 68 Л	1980	Телекоммуникации	Советский Союз	Полный язык + модули	IBM, DEC, CAMCOH, PS 1001 и ПК	советский
Интерактивный АЛГОЛ 68 I	1983		Великобритания	Инкрементная компиляция	ПК	Некоммерческое условно-бесплатное программное обеспечение
АЛГОЛ 68С С	1985	Научный	Международный	Версия ALGOL 68 для Sun	Sun-3 , Sun SPARC (под SunOS 4.1 и Solaris 2), Atari ST (под GEMDOS ), Acorn Archimedes (под RISC OS ), VAX-11 под Ultrix-32
Algol68toC [65] (ctrans)	1985	Электроника	Великобритания	ctrans от ELLA ALGOL 68RS	Портативный генератор С	Программное обеспечение с открытым исходным кодом 1995	АЛГОЛ 68RS
МК2 Интерактивный АЛГОЛ 68	1992		Великобритания	Инкрементная компиляция	ПК	Некоммерческое условно-бесплатное программное обеспечение [66]
Алгол 68 Джинн G	2001	Полный язык	НЛД	Включает стандартное положение о залоге	Портативный переводчик	GNU GPL	С
Algol 68 Genie версии 2.0.0	2010	Полный язык	НЛД		Портативный интерпретатор; дополнительная компиляция выбранных модулей	GNU GPL	С

Язык S3 , который использовался для написания операционной системы ICL VME и многих других системных программ на компьютерах серии ICL 2900, был прямым производным от Algol 68. Однако в нем отсутствовали многие из наиболее сложных функций, а базовые режимы были заменены набором типов данных, которые напрямую соответствовали архитектуре оборудования серии 2900.

ALGOL 68R от RRE был первой реализацией подмножества ALGOL 68, работающей на ICL 1900. Основываясь на исходном языке, основными ограничениями подмножества были определение перед использованием и отсутствие параллельной обработки. Этот компилятор был популярен в университетах Великобритании в 1970-х годах, где многие студенты компьютерных наук изучали ALGOL 68 как свой первый язык программирования; компилятор был известен хорошими сообщениями об ошибках.

ALGOL 68RS ^(RS) от RSRE был переносимой системой компилятора, написанной на ALGOL 68RS (на основе ALGOL 68R) и реализованной на различных системах, включая ICL 2900 / Series 39 , Multics и DEC VAX/VMS . Язык был основан на Revised Report, но с похожими ограничениями подмножества, как у ALGOL 68R. Этот компилятор сохранился в виде компилятора Algol68-to-C.

В ALGOL 68S ^(S) из Университета Карнеги-Меллона мощность параллельной обработки была улучшена путем добавления ортогонального расширения eventing . Любое объявление переменной, содержащее ключевое слово EVENT, делало назначения этой переменной доступными для параллельной оценки, т.е. правая часть была преобразована в процедуру, которая была перемещена на один из процессоров многопроцессорной системы C.mmp . Доступ к таким переменным задерживался после завершения назначения.

Cambridge ALGOL 68C ^(C) был переносимым компилятором, который реализовал подмножество ALGOL 68, ограничив определения операторов и исключив сборку мусора, гибкие строки и форматированный перенос.

Algol 68 Genie ^(G) М. ван дер Вира — это реализация ALGOL 68 для современных компьютеров и операционных систем.

«Несмотря на благие намерения, программист может нарушить переносимость, непреднамеренно применив локальное расширение. Чтобы защититься от этого, каждая реализация должна предоставлять параметр прагмата PORTCHECK. Пока этот параметр действует, компилятор выводит сообщение для каждой конструкции, которую он распознает как нарушающую некоторое ограничение переносимости». ^[67]

• ... Схема композиции типов, принятая в C, во многом обязана Algol 68, хотя, возможно, она не появилась в форме, которую одобрили бы приверженцы Algol. Центральным понятием, которое я позаимствовал из Algol, была структура типов, основанная на атомарных типах (включая структуры), составленных в массивы, указатели (ссылки) и функции (процедуры). Концепция объединений и приведений Algol 68 также оказала влияние, которое проявилось позже. Деннис Ритчи , апрель 1993 г. ^[2]
• ... C не происходит от Algol 68, это правда, но влияние было, во многом настолько тонкое, что его трудно обнаружить, даже когда я усиленно думаю. В частности, тип union (позднее дополнение к C) обязан A68, не какими-то деталями, а идеей наличия такого типа вообще. Если говорить более глубоко, то структура типа в целом и даже, каким-то странным образом, синтаксис объявления (часть конструктора типа) были вдохновлены A68. И да, конечно, "long". Деннис Ритчи , 18 июня 1988 г. ^[4]
• «Поздравляю, ваш Мастер сделал это» – Никлаус Вирт ^[68]
• Чем больше я это вижу, тем несчастнее становлюсь – Э. В. Дейкстра, 1968 ^[69]
• [...] было сказано, что популярность A68 была обратно пропорциональна [...] расстоянию от Амстердама – Гвидо ван Россум ^[70]
• [...] Лучшее, что мы могли сделать, это послать с ним отчет меньшинства, в котором излагается наше обоснованное мнение о том, что «... как инструмент для надежного создания сложных программ язык оказался неудачным». [...] – К. А. Хоар в своей лекции на вручении премии Тьюринга в октябре 1980 г. ^[71]
• «[...] Более чем когда-либо от адекватного инструмента программирования будет требоваться, чтобы он структурно помогал программисту в самых сложных аспектах его работы, а именно в надежном создании сложных программ. В этом отношении мы не видим, как язык, предлагаемый здесь, является значительным шагом вперед: напротив, мы считаем, что его неявный взгляд на задачу программиста во многом такой же, как, скажем, десять лет назад. Это заставляет нас сделать вывод, что, рассматриваемый как инструмент программирования, язык должен считаться устаревшим. [...]» Отчет меньшинства Рабочей группы 1968 года от 23 декабря 1968 года. ^[72]

• Пересмотренный отчет об алгоритмическом языке АЛГОЛ 68. Официальное руководство для пользователей и разработчиков языка (большой файл PDF, отсканированный из Algol Bulletin)
• Пересмотренный отчет по алгоритмическому языку АЛГОЛ 68. Гиперссылка на HTML-версию пересмотренного отчета.
• Учебник по языку Algol 68, Эндрю С. Таненбаум , в Computing Surveys , том 8, № 2, июнь 1976 г., с исправлениями (том 9, № 3, сентябрь 1977 г.)
• Algol 68 Genie — компилятор-интерпретатор GNU GPL Algol 68.
• Реализации ALGOL 68 с открытым исходным кодом на SourceForge
• Стандартное аппаратное представление Algol68 (.pdf) Архивировано 2014-01-02 на Wayback Machine
• Из истории создания компилятора с Алголом 68
• Алгол 68 – 25 лет в СССР
• Система программ динамической опоры для транслятора с Алголом 68
• История C с наследием Algol68
• МакДжонс, Пол, «Реализации и диалекты Algol 68», Группа сохранения программного обеспечения , Музей компьютерной истории , 2011-07-05
• Веб-компилятор ALGOL 68 для небольших экспериментов