ALGOL 60

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

История

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

В конце 1950-х годов существовало несколько языков программирования, в основном ориентированных на конкретные архитектуры компьютеров (например, FORTRAN для IBM 704). Отсутствие единого, машинно-независимого способа записи алгоритмов затрудняло обмен программами и их публикацию в научной литературе. В 1958 году на конференции в Цюрихе (Швейцария) по инициативе Международной федерации по обработке информации (IFIP) и Ассоциации вычислительной техники (ACM) была создана группа для разработки универсального алгоритмического языка.

Разработка

Первая версия языка, названная ALGOL 58, была представлена в 1958 году. Однако она содержала ряд неоднозначностей и недостатков. В 1959 году была сформирована новая группа, известная как «Комитет ALGOL» (в него вошли Джон Бэкус, Питер Наур, Алан Перлис, Фридрих Бауэр и другие). В 1960 году в Париже состоялась конференция, на которой был утверждён окончательный вариант языка — ALGOL 60. Официальный отчёт о языке был опубликован в 1960 году в журнале Communications of the ACM.

Распространение и влияние

ALGOL 60 не получил широкого коммерческого распространения, особенно в США, где доминировал FORTRAN. Однако он стал стандартом для академической среды и научных публикаций. В Европе, особенно в СССР и странах Восточной Европы, ALGOL 60 использовался в учебных заведениях и исследовательских центрах. В СССР были созданы несколько трансляторов для отечественных ЭВМ (например, «Алгол-60» для БЭСМ-6). В 1968 году была выпущена обновлённая версия — ALGOL 68, которая значительно усложнила язык, но не вытеснила ALGOL 60.

Характеристики

Синтаксис

ALGOL 60 ввёл ряд синтаксических конструкций, ставших стандартом для многих языков:

• Блочная структура: программа состоит из блоков, ограниченных ключевыми словами begin и end. Это позволило локализовать переменные и управлять областью видимости.
• Формальное описание (БНФ): синтаксис ALGOL 60 был впервые описан с помощью формы Бэкуса-Наура (БНФ) — формальной системы записи грамматик, которая стала основой для описания синтаксиса многих языков.
• Структуры управления: введены условные операторы if-then-else, циклы for (с возможностью задания шага и условия), оператор перехода goto.
• Типы данных: базовые типы — целые (integer), вещественные (real), логические (boolean), массивы (array), а также возможность задания собственных типов через type.
• Процедуры и функции: поддержка рекурсии, передача параметров по значению и по имени (call-by-name).

Семантика

Семантика ALGOL 60 была определена неформально, на естественном языке, что приводило к неоднозначностям. Например, механизм передачи параметров по имени (call-by-name) — когда фактический параметр подставляется в тело процедуры в виде текста — мог вызывать неожиданные эффекты (так называемый «парадокс Дженсена»). Впоследствии этот механизм был заменён на передачу по значению и по ссылке.

Пример программы

Программа на ALGOL 60, вычисляющая факториал числа:

``algol begin integer n, fact; n := 5; fact := 1; for i := 1 step 1 until n do fact := fact * i; print(fact) end ``

Классификация

ALGOL 60 относится к императивным языкам программирования. Его можно классифицировать по следующим признакам:

• По парадигме: процедурный, структурный (в отличие от бесструктурных языков, таких как FORTRAN или ассемблер).
• По области применения: научные и инженерные расчёты, алгоритмизация.
• По способу трансляции: компилируемый (существовали интерпретаторы, но основным способом была компиляция).

Применение

Научные публикации

ALGOL 60 стал стандартом для записи алгоритмов в научных статьях и учебниках. Многие классические алгоритмы (например, быстрая сортировка, алгоритм Дейкстры) были впервые опубликованы именно на ALGOL 60.

Образование

В 1960–1970-х годах ALGOL 60 широко использовался в университетах для обучения основам программирования. Его строгая структура и формальное описание способствовали развитию алгоритмического мышления.

Реализации

Было создано множество трансляторов ALGOL 60 для различных машин:

• ALGOL 60 для БЭСМ-6 (СССР) — одна из наиболее полных реализаций, поддерживавшая все возможности языка.
• ALGOL W (IBM) — расширенная версия, разработанная в Стэнфордском университете.
• Burroughs ALGOL — реализация для машин Burroughs, использовавшаяся в коммерческих приложениях.

Критика

ALGOL 60 подвергался критике за:

• Неоднозначность семантики: отсутствие формального определения приводило к различиям в реализации.
• Сложность механизма передачи параметров по имени: он был труден для понимания и реализации, а также мог приводить к ошибкам.
• Отсутствие ввода-вывода: в стандарте не было определено, как программа взаимодействует с пользователем; это было оставлено на усмотрение разработчиков трансляторов.
• Недостаточная поддержка структур данных: отсутствовали записи (records) и указатели, что ограничивало применение в системном программировании.

Наследие

ALGOL 60 оказал огромное влияние на развитие языков программирования. Его синтаксические конструкции (блоки, циклы, условные операторы) стали основой для Паскаля, Си, Java, C# и многих других. Формальное описание синтаксиса с помощью БНФ стало стандартом для языкового дизайна. Многие идеи ALGOL 60, такие как рекурсия, блочная структура и строгая типизация, остаются актуальными и сегодня.

Источники

• Отчёт о языке ALGOL 60 (Revised Report on the Algorithmic Language ALGOL 60), 1963.
• Бэкус, Дж. и др. «Revised Report on the Algorithmic Language ALGOL 60». Communications of the ACM, 1963.
• Кнут, Д. «Искусство программирования», том 1. — М.: Вильямс, 2006.
• Вирт, Н. «Алгоритмы и структуры данных». — М.: Мир, 1989.