АЛГОЛ-60

АЛГОЛ-60 (от англ. ALGOrithmic Language 1960) — это процедурный язык программирования высокого уровня, разработанный в конце 1950-х годов международным комитетом для записи алгоритмов и научных вычислений. Он стал первым языком, в котором формальное описание синтаксиса было дано с помощью металингвистических формул Бэкуса — Наура (БНФ), что оказало революционное влияние на развитие информатики. АЛГОЛ-60 считается одним из важнейших этапов в истории программирования, заложившим основы многих современных языков, включая Паскаль, Си, Аду и Java.

История

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

К концу 1950-х годов программирование в основном велось на машинных кодах, ассемблерах или специализированных языках, таких как Фортран (1957). Однако Фортрану не хватало строгой формальной структуры, и он был ориентирован в первую очередь на инженерные расчёты. Возникла потребность в универсальном, математически строгом языке для описания алгоритмов, который был бы понятен как человеку, так и машине.

Работа комитета

В 1958 году на конференции в Цюрихе (Швейцария) была создана группа ACM (Association for Computing Machinery) и GAMM (Gesellschaft für Angewandte Mathematik und Mechanik). Результатом их работы стал проект ALGOL 58. Однако он содержал множество недоговорённостей и не был полностью реализован. В 1960 году в Париже состоялась встреча, на которой был разработан окончательный вариант — ALGOL 60. Ключевую роль в создании языка сыграли такие учёные, как Джон Бэкус (США), Питер Наур (Дания), Алан Перлис (США), Фридрих Бауэр (ФРГ) и другие.

Публикация и влияние

Отчёт о языке ALGOL 60 был опубликован в 1960 году в журнале Communications of the ACM. Он содержал не только описание языка, но и его формальный синтаксис, заданный в БНФ. Это был первый случай, когда язык программирования был описан математически строго. В 1962 году вышло уточнённое издание (Revised Report on the Algorithmic Language ALGOL 60), которое стало каноническим.

Характеристики и особенности

Структура программы

Программа на АЛГОЛ-60 состоит из блоков, которые могут быть вложены друг в друга. Каждый блок начинается с ключевого слова begin и заканчивается end. Блок может содержать объявления переменных, операторы и другие блоки. Это ввело понятие блочной структуры и области видимости переменных.

Типы данных

Язык поддерживал три основных типа данных:

• Целый (integer)
• Вещественный (real)
• Логический (boolean)

Также существовали массивы (array) с произвольными границами индексов.

Управляющие конструкции

АЛГОЛ-60 ввёл ряд ключевых управляющих конструкций, ставших стандартом:

• Условный оператор: if ... then ... else
• Циклы: for ... do, while ... do
• Оператор перехода: goto

Процедуры и функции

Процедуры в АЛГОЛ-60 могли быть рекурсивными и иметь формальные параметры. Важным нововведением стала передача параметров по имени (call by name), а также по значению (call by value). Это позволяло создавать очень гибкие, но иногда сложные для понимания конструкции.

Формальный синтаксис (БНФ)

Главное новшество АЛГОЛ-60 — использование металингвистических формул Бэкуса — Наура (БНФ) для описания синтаксиса. Например, определение целого числа могло выглядеть так: `` <целое> ::= <цифра> | <целое> <цифра> <цифра> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 `` Это позволило однозначно определить, какие последовательности символов являются корректными программами, и стало основой для разработки компиляторов.

Классификация и диалекты

Основные диалекты

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

• ALGOL 60 (Revised) — каноническая версия 1962 года.
• ALGOL W — расширение, разработанное Никлаусом Виртом (создателем Паскаля) и Чарльзом Хоаром. Добавлял записи (records), ссылки и операторы ввода-вывода.
• ALGOL 68 — значительно более сложный и мощный язык, разработанный в 1968 году, который не был обратно совместим с ALGOL 60.

Влияние на другие языки

АЛГОЛ-60 оказал прямое влияние на:

• Паскаль (Никлаус Вирт) — унаследовал блочную структуру, типы данных, процедуры.
• Си (Деннис Ритчи) — перенял многие синтаксические идеи, хотя и в упрощённой форме.
• Ада — язык Министерства обороны США, основанный на Паскале и ALGOL.
• Java и C# — через Си и Паскаль.

Применение

Научные вычисления

АЛГОЛ-60 активно использовался в академической среде и научных институтах для написания алгоритмов численного анализа, решения дифференциальных уравнений и обработки данных. В СССР и России язык был особенно популярен в 1960–1970-х годах, так как он был стандартизирован и не зависел от конкретной архитектуры ЭВМ. Советские программисты создали несколько реализаций, например, АЛГОЛ-БЭСМ для машин серии БЭСМ.

Обучение

Благодаря строгой формальной структуре, АЛГОЛ-60 долгое время использовался в университетах для обучения основам алгоритмизации и структурного программирования. Многие классические учебники по программированию (например, Д. Кнут «Искусство программирования») содержат примеры на АЛГОЛ-60.

Описание алгоритмов

До появления псевдокода и современных языков, АЛГОЛ-60 был стандартным средством для публикации алгоритмов в научных журналах. Например, знаменитый алгоритм быстрой сортировки (Quicksort) Тони Хоара был впервые описан именно на АЛГОЛ-60.

Критика и недостатки

Несмотря на огромное влияние, АЛГОЛ-60 имел ряд недостатков, которые ограничили его практическое распространение:

• Сложность ввода-вывода. В языке не было стандартных операторов чтения и записи. Каждая реализация добавляла свои, что нарушало переносимость.
• Отсутствие стандартной библиотеки. Не было встроенных функций для работы со строками, файлами, датами.
• Сложность реализации. Полная реализация АЛГОЛ-60, особенно с передачей параметров по имени, требовала сложных механизмов в компиляторе (например, «thunks» — отложенных вычислений). Это делало компиляторы медленными и громоздкими.
• Слабая поддержка коммерческого программирования. Язык был ориентирован на научные задачи и плохо подходил для обработки текстов, баз данных и бизнес-логики.

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

• В 1960-е годы в СССР существовала собственная версия языка — АЛГОЛ-60 (русский вариант), адаптированная для использования кириллицы в идентификаторах и комментариях.
• Первый компилятор с АЛГОЛ-60 был создан в 1960 году для машины Zuse Z22 в ФРГ.
• Язык АЛГОЛ-60 стал основой для создания языка SIMULA (1967), который, в свою очередь, ввёл понятие классов и объектов, став предшественником объектно-ориентированного программирования.
• В 2000 году АЛГОЛ-60 был признан одним из «величайших изобретений человечества» по версии журнала IEEE Annals of the History of Computing.

Источники

• Peter Naur (ed.). Revised Report on the Algorithmic Language ALGOL 60. Communications of the ACM, 1963.
• Дональд Кнут. Искусство программирования. Том 1. Основные алгоритмы.
• John Backus. The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich ACM-GAMM Conference. 1959.
• История развития языков программирования. Материалы ACM SIGPLAN.