Просмотр кода страницы Алгол

{{Нет источников |дата=2017-07-24}}
{{Язык программирования
 | название             =
 | логотип              =
 | семантика            =
 | класс                =
 | тип                  =
 | дата выпуска         =
 | автор                =
 | расширение           =
 | последняя версия     =
 | дата выпуска последней версии          =
 | последняя тестовая версия              =
 | дата выпуска последней тестовой версии =
 | система типов        =
 | реализация           =
 | диалекты             =
 | испытал влияние      =
 | повлиял на           =
 | лицензия             =
 | платформа            =
 | операционная система =
 | сайт                 =
}}
'''Алго́л''' ({{lang-en|Algol}}, {{IPAc-en|ˈ|æ|l|g|ɒ|l|,_|-|g|ɔː|l}}, от {{lang-en2|algorithmic language}} — «алгоритмический язык») — название ряда [[язык программирования|языков программирования]], применяемых при составлении программ для решения научно-технических задач на [[Компьютер|ЭВМ]]. Разработан комитетом по языку высокого уровня [[IFIP]] в [[1958 год|1958]]-[[1960 год]]ах (Алгол 58<ref>{{Статья|ссылка=http://www.softwarepreservation.org/projects/ALGOL/report/Algol58_preliminary_report_CACM.pdf/|автор={{s|A. J. Perlis}}, {{s|K. Samelson}}|заглавие=Preliminary report: international algebraic language|год=1958-12-01|издание=Communications of the ACM|том=1|выпуск=12|страницы=8–22|issn=0001-0782|doi=10.1145/377924.594925|archive-date=2011-07-16|archive-url=https://web.archive.org/web/20110716224234/http://www.softwarepreservation.org/projects/ALGOL/report/Algol58_preliminary_report_CACM.pdf/}}</ref><ref>{{Статья|ссылка=http://www.softwarepreservation.org/projects/ALGOL/report/Algol58_preliminary_report_NumerischeMathematik.pdf|автор={{s|A. J. Perlis}}, {{s|K. Samelson}}|заглавие=Report on the Algorithmic Language ALGOL the ACM committee on programming languages and the GAMM committee on programming|год=1959-12-01|язык=en|издание=Numerische Mathematik|том=1|выпуск=1|страницы=41–60|issn=0945-3245|doi=10.1007/BF01386372|archive-date=2021-11-24|archive-url=https://web.archive.org/web/20211124222057/http://www.softwarepreservation.org/projects/ALGOL/report/Algol58_preliminary_report_NumerischeMathematik.pdf}}</ref>, Алгол 60<ref>{{Статья
 |ссылка=http://mi.mathnet.ru/zvmmf8039
 |автор={{s|Д. В. Бэкус}}, {{s|Ф. Л. Бауэр}}, {{s|Д. Грин}}, {{s|С. Кэтц}}, {{s|Д. Мак-Карти}}, {{s|П. Наур}}, {{s|Э. Д. Перлис}}, {{s|X. Рутисхаузер}}, {{s|К. Замельзон}}, {{s|Б. Вокуа}}, {{s|Д. Уэгстейн}}, {{s|А. Ван-Вэнгаарден}}, {{s|М. Вуджер}}
 |заглавие=Сообщение об алгоритмическом языке АЛГОЛ-60
 |оригинал=Report on the Algorithmic Language ALGOL-60
 |язык=ru
 |издание=Ж. вычисл. матем. и матем. физ.
 |том=1
 |выпуск=2
 |страницы=308-342
 |issn=0044-4669
}}</ref><ref>{{Книга
 |автор={{s|Р. М. Деморган}}, {{s|И. Д. Хилл}}, {{s|Б. А. Уичмен}}
 |заглавие=Алгоритмический язык Алгол 60. Модифицированное сообщение
 |язык=ru
 |оригинал=Modified Report on the Algorithmic Language Algol 60
 |ответственный=пер. с англ. А. Ф. Рар, под ред. А. П. Ершова
 |место=М.
 |издательство=Мир
 |год=1972
 |страниц=72
}}</ref>). Кардинально переработан в [[1964 год|1964]]-[[1968 год]]ах ([[Алгол 68]]). Один из первых [[Высокоуровневый язык программирования|языков высокого уровня]]. Был популярен в Европе и в СССР, в качестве языка как практического программирования, так и академического языка (языка публикации алгоритмов в научных работах), но в [[США]] и [[Канада|Канаде]] не смог превзойти распространённый там [[Фортран]]. Оказал заметное влияние на все разработанные позднее [[Императивное программирование|императивные]] языки программирования — в частности, на язык [[Pascal]].

Обычно названием '''Алгол''' (без уточнения версии) именуют Алгол 60, в то время как [[Алгол 68]] рассматривается как самостоятельный язык.

== История ==
Алгол был разработан в [[1958 год]]у на недельной конференции в [[Швейцарская высшая техническая школа Цюриха|ETH]] (Цюрих, Швейцария) как универсальный язык программирования для широкого круга применений, а затем доработан комитетом, созданным Международной федерацией по обработке информации (IFIP). В комитет вошёл ряд ведущих европейских и американских учёных и инженеров-разработчиков языков. Среди них были: [[Джон Бэкус]] — один из создателей [[Фортран]]а, [[Джозеф Уэгстен]] — впоследствии возглавлял комитет по разработке языка [[Кобол]], [[Джон Маккарти]] — автор языка [[Лисп]], разработанного одновременно с Алголом, [[Петер Наур]] — впоследствии доработал «нормальную форму Бэкуса», завершив разработку [[Форма Бэкуса — Наура|БНФ]], [[Эдсгер Дейкстра]] — нидерландский учёный, впоследствии получивший широкую известность как один из создателей структурного программирования и сторонник математического подхода к программированию, будущий лауреат [[Премия Тьюринга|Премии Тьюринга]].

Сначала работа столкнулась с большими трудностями непринципиального характера. Так, например, один из членов комитета вспоминал «десятичную бурю» — крайне резкую дискуссию между американскими и европейскими участниками по поводу того, какой именно символ использовать в качестве [[Разделитель целой и дробной частей числа|разделителя целой и дробной части числа]]. Американцы стояли за точку, европейцы требовали применять традиционную в Европе запятую, и из-за такой мелочи работа оказалась под реальной угрозой срыва. Чтобы избежать конфликтов по мелким вопросам, было решено, что описание Алгола будет трёхуровневым, включающим уровень описаний, публикаций и реализации. Мелкие вопросы, типа выбора между точкой и запятой или используемого алфавита, были вынесены на второй-третий уровень, что позволило относительно быстро решить принципиальные вопросы. На уровне публикаций, согласованном позже, допускалось использование национальных ключевых слов и стандартов представления данных (в том числе и десятичной точки), уровень реализации определял язык совершенно строго — согласно ему должны были строиться трансляторы.

После принятия в 1958 году первой версии описания языка Алгол 58 (первоначально предполагалось назвать язык IAL — International Algebraic Language, но от этого отказались<ref>{{статья|автор=A. J. Perlis.|заглавие=Talk on Computing in the fifties|издание=ACM National Conference|год=1981}}</ref>) довольно быстро были осознаны проблемы, для решения которых комитет сформировал новый вариант стандарта — Алгол 60; он и стал «классическим» Алголом. В [[1959 год]]у Джон Бэкус разработал «нормальную форму Бэкуса» (БНФ) — формальный способ описания алгоритмических языков. Первым языком, спецификация которого была записана в БНФ, стал Алгол 58. Впоследствии, после усовершенствований, которые предложил Питер Наур, возникла форма Бэкуса — Наура (аббревиатура та же — БНФ или BNF), которая использовалась для спецификации языка ALGOL 60 уже на этапе её разработки.

У нового языка нашлись как приверженцы, так и критики. В США Алгол приняли холодно, он был популярен только в академической среде, и то не повсеместно. Те, кто попытался реализовать Алгол, столкнулись с целым рядом сложностей. Так, например, обнаружилось, что ни один из существовавших тогда компьютеров не поддерживал ввод-вывод всех 116 литер, из которых состоял алфавит Алгола.

SHARE — американская ассоциация пользователей [[IBM System/360|компьютеров IBM]] — потребовала от фирмы реализовать Алгол для своих машин, но появившийся в конце концов компилятор Алгола для IBM [[OS/360]] был крайне неудобен в использовании — вполне естественно, что [[IBM]], вложившая в [[Фортран]] огромные суммы, не имела стимула для создания нового продукта, который лишь конкурировал бы со старым. В то же время, недостатки Фортрана вынудили IBM искать ему замену и привели к разработке [[PL/I]] — языка-наследника Фортрана, в котором влияние Алгола было весьма заметным.

А вот в Европе Алгол приняли с энтузиазмом. Он быстро завоевал популярность в академической среде, повсеместно шла разработка компиляторов, многие из которых, несмотря на сложности реализации, оказались весьма успешными. Алгол распространился от Великобритании до Дальнего востока [[СССР]], став как универсальным языком описания алгоритмов в научных публикациях, так и средством реального программирования.

В СССР в [[ВЦ АН СССР|Вычислительном центре АН СССР]] в Лаборатории программирования под руководством [[Курочкин, Владимир Михайлович (учёный)|В. М. Курочкина]] был создан свой транслятор с языка АЛГОЛ 60 для ЭВМ [[БЭСМ-6]]. Он на протяжении многих лет служил важным инструментом для решения прикладных задач из различных областей естественных наук, широко использовался во многих организациях СССР.

Язык Алгол был принят фирмой [[Burroughs Corporation]] в их моделях, начиная с [[B5000]] — этот язык получил название Elliott ALGOL. На компьютерах {{не переведено|LGP-30||en|LGP-30}} использовался язык Dartmouth ALGOL 30.

Даже когда язык Алгол почти перестал использоваться для программирования, он ещё долго оставался официальным языком для публикации алгоритмов.

Перед текстом описания языка использовался эпиграф из «Логико-философского трактата» [[Витгенштейн, Людвиг|Людвига Витгенштейна]]: «То, что вообще может быть сказано, может быть сказано ясно; а о чём невозможно говорить, о том следует молчать»<ref>{{Cite web |url=http://db.chgk.info/question/vladbel/34 |title=Вопросы Владимира Белкина (Москва). Вопрос 34 {{!}} Что? Где? Когда?<!-- Заголовок добавлен ботом --> |access-date=2015-06-06 |archive-date=2016-05-02 |archive-url=https://web.archive.org/web/20160502115651/http://db.chgk.info/question/vladbel/34 |url-status=live }}</ref>.<!-- Was sich überhaupt sagen läßt, läßt sich klar sagen; und wovon man nicht reden kann, darüber muß man schweigen. -->

== Свойства языка ==
{{орисс в разделе|дата=2020-08-08}}
Особенности языка Алгол стали типичными для большинства императивных языков, созданных позднее него. Именно в Алголе появилось представление о программе не как о свободной последовательности команд, а как о блочной структуре, состоящей из чётко описанных и отделённых друг от друга частей. Основной блок программы на Алголе — это сама главная программа. Она содержит свою исполняемую часть, заключённую в блок, ограниченный парой ключевых слов '''<code>begin</code>''' и '''<code>end</code>''', а также описания подпрограмм. Каждая подпрограмма — это программа в миниатюре, имеющая собственные, описанные внутри неё данные, однозначно определённый интерфейс в виде имени и списка формальных параметров, и блок кода. При этом в блоке могут выделяться подблоки.

Были выделены структурные управляющие конструкции: ветвления, циклы, последовательные участки, исполняющие условно или многократно вложенные наборы операторов, также ограниченные теми же ключевыми словами '''<code>begin</code>''' и '''<code>end</code>''', что дало возможность описывать логику программы без использования безусловных переходов — печально известного оператора [[goto]], провоцирующего на создание запутанных и плохо структурированных программ.

Современным программистам подобная структура программы кажется очевидной, кое в чём устаревшей и не всегда удобной (часто критикуются бесконечные '''<code>begin</code>''' — '''<code>end</code>''' в программах на Паскале, который унаследовал эту особенность именно от Алгола), но на момент появления Алгола всё это было заметным шагом вперёд. Программы становились регулярными, это давало возможность наращивать их по объёму, сохраняя обозримыми, понятными, доступными анализу и исправлению. Именно на базе Алгола и его языков-потомков были выполнены успешные работы по аналитическому доказательству правильности программ.

Крайне важным свойством Алгола стала возможность организации [[рекурсия|рекурсивных]] процедур, до этого у промышленных языков отсутствовавшая (у лидеров рынка — [[Фортран]]а и [[Кобол]]а, — рекурсия прямо запрещена), но широко использовавшаяся в [[Лисп]]е. Использование рекурсивных вычислений в ряде случаев способно значительно упростить структуру программы и сделать её более понятной за счёт близости к математическому описанию алгоритма решения задачи.

Разумеется, не все особенности Алгола сейчас можно назвать удачными и до конца продуманными. Например, стандарт языка полностью проигнорировал средства ввода-вывода; разработчики решили, что каждая реализация языка может решать этот вопрос самостоятельно, исходя из особенностей целевой машины и потребностей пользователей. С другой стороны, концепции модульного программирования с использованием стандартных библиотек подпрограмм тогда ещё просто не было, и операторы ввода-вывода должны были включаться прямо в язык. Это привело к тому, что каждая реализация организовывала ввод-вывод по-своему, и в этой части Алгол-программы для разных компиляторов оказывались почти гарантированно несовместимыми.

В Алголе было предложено два способа передачи параметров в подпрограмму — [[вызов по имени|по имени]] и [[вызов по значению|по значению]]. Второй способ широко используется в абсолютном большинстве языков по сей день. Первый же предполагает, что в процедуру передаётся имя фактического параметра, и процедура работает так, как будто в точке обращения записан её код, где вместо формального параметра написано имя фактического. Функции с такими параметрами легко реализуются с помощью препроцессора (как в языке C), однако, генерация объектного кода для них достаточно сложна: фактически для передачи по имени сложных выражений компилятор должен был создавать специальную неименованную функцию, вычисляющую это выражение в его собственной среде окружения, так называемый ''{{iw|thunk|санк}}''. Ближайшим аналогом санка является [[Замыкание (программирование)|замыкание]], однако санк возникает только в специфическом контексте передачи параметров. Эта особенность языка Алгол 60, в остальном довольно разумно организованного, примечательна удивительным сочетанием полной практической бесполезности с чрезвычайной сложностью и неэффективностью реализации. Поэтому в дальнейшем развитии языков программирования от передачи параметров по имени отказались. В языке PL/I, в целом очень много унаследовавшем от Алгола-60, на этой волне заодно отказались и от передачи параметров по значению, оставив, как и в раннем Фортране, единственный механизм — по ссылке<ref>Пратт Т. Языки программирования: разработка и реализация. — М.: Мир, 1979. — 576 с.: ил.</ref>. В языке [[Си (язык программирования)|Си]], напротив, осталась только передача параметров по значению (передача по ссылке там может быть смоделирована путём использования параметров типа «указатель»). А для тех случаев, когда передача параметров по имени имеет смысл (она необходима, например, если требуется создать функцию, для которой значения параметров не вычислялись бы в момент вызова), были созданы специальные синтаксические механизмы.

=== Типы данных ===
Типизация в Алголе является [[сильная типизация|сильной]] и [[статическая типизация|статической]].

==== Числа ====
В Алголе имеется два типа для представления чисел: ''целое'' ({{lang-en|integer}}) и с ''плавающей запятой'' ({{lang-en|real}}), например: <code>200</code>, <code>100.5</code>, <code>+2<sub>10</sub>-1</code>. В качестве [[десятичный разделитель|десятичного разделителя]] в Алголе используется точка.

Беззнаковые числовые [[литерал (информатика)|литералы]] имеют тип <code>integer</code>, тогда как все остальные имеют тип <code>real</code>.

==== Логические значения ====
Для преставления значений ''истина'' и ''ложь'' применяются литералы <code>true</code> (истина) и <code>false</code> (ложь), имеющие тип <code>Boolean</code>, которые и используются логическими операциями.

=== Операции ===

==== Арифметические операции ====
Алгол предоставляет наиболее распространённые арифметические операции для целых чисел и [[число с плавающей запятой|чисел с плавающей запятой]]:

{| class="wikitable"
! Обозначение !! Выполняемая операция !! Пример !! Результат примера
|-
| <code>+</code> || Сложение || <code>1.45 + 2</code> || <code>3.45</code>
|-
| <code>-</code> || Вычитание || <code>7-3</code> || <code>4</code>
|-
| <code>×</code> || Умножение || <code>1.2×0.4</code> || <code>0.48</code>
|-
| <code>/</code> || Деление || <code>6 / 3</code> || <code>2</code>
|-
| <code>↑</code> || Возведение в степень|| <code>5↑3</code> || <code>125</code>
|}

== Примеры кода ==

=== Hello, World ===
Программа '''Hello, World''' на диалекте ''Dartmouth ALGOL 30''<ref>[http://www.engin.umd.umich.edu/CIS/course.des/cis400/algol/hworld.html Hello world! Example Program] {{webarchive|url=https://web.archive.org/web/20100204112923/http://www.engin.umd.umich.edu/CIS/course.des/cis400/algol/hworld.html |date=2010-02-04 }}</ref>:

 BEGIN
 FILE F (KIND=REMOTE);
 EBCDIC ARRAY E [0:11];
 REPLACE E BY "HELLO, WORLD!";
 WHILE TRUE DO
   BEGIN
   WRITE (F, *, E);
   END;
 END.

Для ''Elliott Algol'':

  '''program''' HiFolks;
  '''begin'''
     '''print''' "Hello, world";
  '''end''';

Для ''IBM OS/360 ALGOL F'':

 'BEGIN'
   OUTSTRING (1, '('HELLO, WORLD!')');
 'END'

=== Работа с матрицей ===
 '''procedure''' Absmax(a) Size:(n, m) Result:(y) Subscripts:(i, k);
     '''value''' n, m; '''array''' a; '''integer''' n, m, i, k; '''real''' y;
 '''comment''' Наибольший элемент матрицы a, размера n на m 
  передаётся в виде результата в y, а его индексы — в параметры i и k;
 '''begin''' '''integer''' p, q;
     y := 0; i := k := 1;
     '''for''' p:=1 '''step''' 1 '''until''' n '''do'''
       '''for''' q:=1 '''step''' 1 '''until''' m '''do'''
         '''if''' abs(a[p, q]) > y '''then'''
         '''begin''' y := abs(a[p, q]);
           i := p; k := q
         '''end'''
 '''end''' Absmax

=== Выдача на печать таблицы ===
Пример для реализации ''Elliott 803 ALGOL''.

 FLOATING POINT ALGOL TEST'
 BEGIN REAL A,B,C,D'
   READ D'
   FOR A:= 0.0 STEP D UNTIL 6.3 DO
   BEGIN
     PRINT PUNCH(3),££L??'
     B := SIN(A)'
     C := COS(A)'
     PRINT PUNCH(3),SAMELINE,ALIGNED(1,6),A,B,C'
   END'
 END'

Здесь:
* PUNCH(3) посылает текст не на перфоратор, а на удалённый принтер.
* SAMELINE подавляет возврат каретки.
* ALIGNED(1,6) указывает формат — 1 знак до и 6 после десятичной точки.

=== Трюк Йенсена ===
Рассмотрим следующую программу на Алголе:

 '''begin'''
   '''procedure''' p (a, b);
     '''name''' a, b; '''integer''' a, b;
   '''begin'''
     '''for''' a:=1 '''step''' 1 '''until''' 10 '''do'''
       b := 0
   '''end''' p;
   '''integer''' i; '''integer''' '''array''' s [1:10];
   p (i, s[i])
 '''end'''

Поскольку параметры процедуры p передаются по имени (см. выше), вызов процедуры p в данном случае приведёт к обнулению всех элементов массива s. Такое использование передачи параметра по имени было названо «трюком Йенсена», по имени впервые предложившего его программиста.

== См. также ==
* [[ALGOL 68]]
* [[JOVIAL]]

== Примечания ==
{{примечания}}

== Литература ==
* [http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=6126 ISO 1538:1984 Programming languages — ALGOL 60] {{Wayback|url=http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=6126 |date=20140426095809 }}
* {{книга
|заглавие = Основные концепции языков программирования
|часть = 2.5. Первый шаг к совершенствованию: язык ALGOL 60
|оригинал = Concepts of Programming Languages
|автор = Роберт В Себеста.
|ссылка = https://archive.org/details/isbn_5845901928
|isbn = 5-8459-0192-8
|страницы = [https://archive.org/details/isbn_5845901928/page/n658 672]
|год = 2001
|издание = 5-е изд
|место =  М.
|издательство = [[Вильямс (издательство)|«Вильямс»]]
}}

== Ссылки ==
* Алгоритмический язык Алгол-60. Пересмотренное сообщение. Москва: Мир, 1965.
* Алгоритмический язык Алгол 60. Модифицированное сообщение. Москва: Мир, 1982.
* [https://web.archive.org/web/20080124040308/http://www.computer-museum.ru/histsoft/algolbnf.php Язык программирования ''Алгол 60'' (описание в формулах БНФ).]
* [https://web.archive.org/web/20110720002957/http://www.lrz.de/~bernhard/Algol-BNF.html Синтаксис]{{ref|en}} ''ALGOL 60'' в [[Форма Бэкуса — Наура|БНФ]].
* [https://web.archive.org/web/20030315091028/http://www.braithwaite-lee.com/opinions/p75-hoare.pdf «The Emperor’s Old Clothes»]{{ref|en}} — речь [[Хоар, Чарльз Энтони Ричард|Чарльза Хоара]] с вручения Приза Тьюринга ACM в 1980 об истории ''Алгола'' и участии Хоара в ней.
* [http://www.billp.org/ccs/A104/ ''«803 ALGOL»''] {{Wayback|url=http://www.billp.org/ccs/A104/ |date=20100529063048 }}{{ref|en}} — руководство по Elliott ''803 ALGOL''.
* [http://chernykh.net/content/view/209/221/ История появления ''Алгола-60''.] {{Wayback|url=http://chernykh.net/content/view/209/221/ |date=20090301173548 }}
* Примеры реализации языка:
** в виде [http://docs.racket-lang.org/algol60/ пакета] {{Wayback|url=http://docs.racket-lang.org/algol60/ |date=20170116160732 }}
** в виде независимой (то есть не пакета) реализации интерпретатора, [http://www.algol60.org/ компилятора] {{Wayback|url=http://www.algol60.org/ |date=20200907205521 }}


[[Категория:Языки программирования семейства Алгола]]
[[Категория:История компьютерной техники]]