ALGOL

ALGOL (от англ. ALGOrithmic Language — «алгоритмический язык») — это семейство языков программирования, разработанных в конце 1950-х — начале 1960-х годов международными группами учёных для записи алгоритмов и научных вычислений. ALGOL стал первым языком, в котором была формально описана синтаксическая структура (с использованием формы Бэкуса — Наура), и оказал фундаментальное влияние на развитие большинства современных языков программирования, включая Pascal, C, Ada и Java. Несмотря на то, что ALGOL никогда не достиг широкого коммерческого распространения, его концепции легли в основу теории и практики программирования.

История

Предпосылки создания

К середине 1950-х годов в программировании использовались в основном машинно-ориентированные языки (ассемблеры) и первые высокоуровневые языки, такие как FORTRAN (1957). FORTRAN был эффективен для научных расчётов, но его синтаксис и структура были привязаны к конкретным архитектурам ЭВМ и не отличались строгостью. Параллельно в Европе появилась потребность в универсальном языке для описания алгоритмов, который был бы понятен и людям, и машинам.

ALGOL 58

В 1958 году на конференции в Цюрихе (Швейцария) Международная федерация по обработке информации (IFIP) сформировала комитет для разработки международного алгоритмического языка. В состав вошли учёные из США и Европы: Джон Бэкус (IBM), Фридрих Бауэр (ФРГ), Алан Перлис (США) и другие. Результатом стал документ, известный как ALGOL 58 (первоначально назывался IAL — International Algebraic Language). Он определил основные идеи: блочную структуру, использование ключевых слов (begin, end, for, if), разделение описаний и операторов. Однако ALGOL 58 не имел полного формального определения и не был реализован в виде полноценного компилятора.

ALGOL 60

Наиболее известной и влиятельной версией стал ALGOL 60, принятый на конференции в Париже в январе 1960 года. Его синтаксис был формально описан с помощью формы Бэкуса — Наура (БНФ), что стало революцией в теории языков программирования. В ALGOL 60 были введены:

• Блочная структура и локальные переменные.
• Рекурсия (на уровне языка, в отличие от FORTRAN).
• Параметры-значения и параметры-переменные.
• Условные операторы и циклы с постусловием (repeat ... until).
• NULL-значения и составные операторы.

ALGOL 60 стал стандартом де-факто для публикации алгоритмов в научной литературе (например, в журналах Communications of the ACM и Numerische Mathematik).

ALGOL 68 и ALGOL-W

Дальнейшее развитие шло по двум направлениям. ALGOL-W (1966, разработан Никлаусом Виртом и Тони Хоаром) был более практичной подмножественной реализацией, повлиявшей на создание Pascal. ALGOL 68 (1968) стал попыткой создать чрезвычайно мощный и универсальный язык с богатой системой типов, параллельными конструкциями и динамическими структурами данных. Однако его сложность (включая оригинальную двухуровневую грамматику) привела к тому, что ALGOL 68 был реализован лишь на нескольких платформах. В СССР разработкой и продвижением ALGOL занимались такие учёные, как Андрей Ершов и Михаил Лаврентьев, под руководством которых был создан компилятор для ЭВМ «БЭСМ-6» (система «Альфа-транслятор»).

Основные характеристики

Синтаксис и структура

ALGOL использует алгебраическую нотацию, близкую к математической. Программа состоит из блоков, ограниченных ключевыми словами begin и end. Внутри блока могут быть описания переменных и операторы.

Пример программы «Hello, World!» на ALGOL 60:

`` begin comment 'Пример вывода строки'; print("Hello, World!") end ``

Формальная грамматика

ALGOL 60 стал первым языком, синтаксис которого был полностью определён с помощью контекстно-свободной грамматики (БНФ). Это позволило создавать однозначные компиляторы и проверять корректность программ математически.

Система типов

В ALGOL 60 поддерживались два основных типа: real (вещественные числа) и integer (целые числа). Также был тип boolean (логический) и array (массивы). ALGOL 68 ввёл мощную систему типов, включая структуры (struct), объединения (union), ссылки (ref) и динамические массивы.

Вложенность и область видимости

ALGOL ввёл понятие лексической области видимости (lexical scoping): переменные, объявленные во внешнем блоке, видны во всех вложенных блоках, если не перекрыты локальными объявлениями. Это стало основой для блочно-структурированных языков.

Реализации и распространение

СССР

В Советском Союзе ALGOL получил значительное государственное и академическое признание. В 1960-е годы разработаны несколько компиляторов:

• Альфа-транслятор (1964, Институт математики СО АН СССР) — реализация ALGOL 60 на ЭВМ «БЭСМ-6», отличавшаяся высокой эффективностью и оптимизацией.
• ТА-1М (1968) — компилятор для ЭВМ «Минск-32».
• АЛГЭМ — язык, основанный на ALGOL, использовавшийся в геофизике.

Запад

Наиболее известные реализации: Burroughs B5000 (с аппаратной поддержкой ALGOL), Elliott ALGOL для ЭВМ Elliott 803, а также компиляторы для IBM 7090, CDC 6600. ALGOL влиял на разработку языков:

• Pascal (1970, Никлаус Вирт) — наследник ALGOL-W.
• C (1972, Деннис Ритчи) — заимствовал блочную структуру и типы данных.
• Ada (1980) — использует блочную структуру и строгую типизацию.

Критика и ограничения

Несмотря на новаторство, ALGOL имел ряд недостатков, препятствовавших его массовому внедрению:

• Отсутствие стандартной библиотеки ввода-вывода. В спецификации ALGOL 60 не было описано средств работы с файлами и терминалами; каждая реализация добавляла собственные процедуры (read, write, print), что делало программы непереносимыми.
• Сложность компиляторов. Из-за блочной структуры и рекурсии компиляторы ALGOL требовали значительных ресурсов ЭВМ того времени, что замедляло их разработку.
• Слабое взаимодействие с машинно-зависимыми операциями. ALGOL не предоставлял средств для работы с памятью, прерываниями или устройствами, что делало его малопригодным для системного программирования.
• Долгая стандартизация. ALGOL 68, несмотря на богатство возможностей, был признан слишком сложным для реализации, что привело к расколу сообщества.

Наследие и влияние

ALGOL считается «дедушкой» современных языков программирования. Его концепции легли в основу:

• Структурное программирование (блоки, подпрограммы, рекурсия).
• Формальная спецификация синтаксиса (БНФ).
• Лексическая область видимости и блочная структура.
• Строгая типизация и абстракция данных.

Многие языки — от Pascal и Modula-2 до C, Java, JavaScript и Python — прямо или косвенно используют наследие ALGOL. В России ALGOL стал основой для учебных курсов по программированию в вузах в 1960–1970-е годы, а также для разработки первых отечественных компиляторов.

Интересные факты

• Символ := (оператор присваивания) впервые появился именно в ALGOL 58, затем был заимствован Паскалем и другими языками.
• ALGOL 60 стал первым языком, в котором была реализована рекурсия на уровне языка, задолго до того, как она стала стандартом.
• В 1960 году ALGOL 60 был единственным языком, который мог быть формально проверен до выполнения; это свойство использовалось для верификации алгоритмов в научных статьях.
• В СССР существовала версия ALGOL с кириллическими ключевыми словами (начало, конец, если, то), использовавшаяся в учебных заведениях.

Источники

• А. П. Ершов, «Введение в программирование на языке ALGOL-60», М.: Наука, 1965.
• Д. Кнут, «Искусство программирования», т. 1, раздел 1.1.
• P. Naur (ed.), «Revised Report on the Algorithmic Language ALGOL 60», Communications of the ACM, 1963.
• C. H. A. Koster, «ALGOL 68 Implementation», 1971.
• М. А. Лаврентьев, «Альфа-транслятор», 1964.