Algol W

[vak]

Заинтересовал spamsink меня алголами, я потыркался и вытащил на свет божий компилятор Algol W. Это исторический язык, разработанный легендарным Никлаусом Виртом в 1966 году как продолжение Алгола-60. Язык вполне развитый и имевший практическую полезность. Но в титанической борьбе Вирта с ван Вейнгаарденом победил Алгол-68, крайне сложный и бестолковый. На нём линия Алгола сникла и ушла в небытие.

После этого Вирт бросил Алгол и начал делать Паскаль. Дальнейшую историю вы знаете.

Изначальный компилятор Algol W был написан на ассемблере IBM/360. Исходники сохранились, но мало кого нынче интересуют. Нынешний компилятор Algol W был создан девять лет назад Глином Вебстером. Написан он в основном на языке OCaml и немного Си. Компилятор преобразует исходник на Алголе W в Си, и дальше компилирует его посредством GCC. Причём CLANG не годится, поскольку используются вложенные процедуры, не реализованные в кланге.

Из нетривиальных примеров на языке Algol W есть игра Wumpus: wumpus.alw

Comments

[spamsink]

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

Вон, С++ никто по описанию стандарта не учит, а читают Скотта Майерса (Scott Meyers).

[vak]

Где же все эти простые компиляторы. Остался один Algol 68 Genie, да и тот интерпретатор на самом деле.

[spamsink]

Он не "остался", он был written from scratch.

Смотреть надо сюда: http://www.softwarepreservation.org/projects/ALGOL/algol68impl

Проблема была, КМК, в сложности не столько компилятора, сколько рантайма. Полную реализацию, с арифметикой произвольной точности и пр. делать было или лень, или она в память не поместилась бы.

[dijifi]

Мне кажется речь идет о FLACC

[vak]

Попробовал я всё по ссылке, и нашёл работающий компилятор Алгола 68: https://github.com/coolbikerdad/Algol-68RS-Source

Не такой уж компактный компилятор: 27000 строк на Алголе-68. И еще 15000 в рантайме, плюс 6000 строк на Си.

Бинарник Hello_World получается около 300 килобайт:

$ cat hello.a68
PROGRAM hello CONTEXT VOID
USE standard
BEGIN
    print(("Hello, Algol-68!", newline))
END
FINISH
$ ca hello.a68
$ ./hello
Hello, Algol-68!
$ size ./hello
   text	   data	    bss	    dec	    hex	filename
 307993	   6572	 283024	 597589	  91e55	./hello

[spamsink]

Если awe у тебя работает, попробуй

begin
    procedure foo; begin a := b + c end;
    integer a, b, c;
    b := 3; c := 5;
    foo; вывести a
end

В компиляторе настоящего Алгола (marst) и в бэсмовских это работает.

[vak]

Работает:

$ cat foo.alw
begin
    procedure foo; begin a := b + c end;
    integer a, b, c;
    b := 3; c := 5;
    foo; write(a)
end
$ awe foo.alw 
$ ./foo
             8

[x86128]

Вот значит как язык Паскаль появился.

Синтаксис прикольный довольно.

[vak]

После Паскаля Вирту тоже не сиделось спокойно. Придумал Модулу и Оберон.

[spamsink]

Ты уже понял, к чему я клоню?

begin
    procedure foo; begin a := b + c end;
    integer a, b, c;
    b := 3; c := 5;
    begin
        integer a, b, c;
        b := 30; c := 50;
        foo; write(a)
    end;
    foo; write(a)
end

Или ты будешь сразу смеяться, или после того, как я тебе скажу, что делает marst и бэсмовские компиляторы.

[x86128]

Настолько сильно, что он пошел дальше - сделал язык для описания аппаратуры Lola который транслируется в verilog и на нем забацал ProjectOberon http://www.projectoberon.com/ который работает на макетке, реализует целую ОС с поддержкой сети и VGA.

[vak]

Глючит, выдаёт какую-то чушь.

$ ./foo2
         32705
             8

[vak]

Попробовал на Алголе-68: он потребовал переставить определение переменных перед процедурой. Но напечатал правильный ответ.

$ cat foo2.a68 
PROGRAM foo2 CONTEXT VOID
USE standard
BEGIN
    INT a, b, c;
    PROC foo = VOID: BEGIN a := b + c END;
    b := 3; c := 5;
    BEGIN
        INT a, b, c;
        b := 30; c := 50;
        foo; print((a, newline))
    END;
    foo; print((a, newline))
END
FINISH
$ ./foo2
         +0
         +8

[spamsink]

Всё честно. Просто тела процедур парсятся не сразу, а в конце объявлений блока. Поэтому foo работает с переменными верхнего уровня, откуда бы она ни вызывалась.

[vak]

Но почему-то Вирт хронически не дружит с остальным программистским сообществом. Ни один из его прославленных компиляторов не получится установить из готовых пакетов в Линуксе или на Маке. Нет их там.

[vak]

Внешние переменные в процедуре foo должны связываться статически, по месту компиляции. Это соответствует определению языка. Но к моменту вызова foo из внутреннего блока внешние b и c уже должны получить свои значения 3 и 5. А здесь в них всё ещё находится мусор. Очевидно, компилятор соптимизировал их инициализацию и потерял её.

[spamsink]

Но печатается-то локальная a!

[x86128]

КМК, он больше человек академический. Все какие проекты я видел (из свежего) они все были так или иначе в соавторстве, либо выполнены его учениками. А поскольку нынче Паскаль-подобные языки не в моде, то и последователей недостаточно для того чтобы выложить пакеты под все ОС.

В РФ так или иначе проводятся конференции по Оберону. Существуют какие-то мелкие проекты применения самописных оберонов на микроконтроллерах, какая-то автоматизация АЭС, спутники связи, и то мне кажется это просто из-за того что там Аду не смогли пропихнуть. А сишечку боятся ну потому что там есть указатели :) Как итог - костыль там на костыле, нет ни библиотек, ни поддержки сообщества и т.д. а в чатах и форумах споры о том как лучше делать ООП, хотя нафиг бы оно кому в 2021 году сдалося.

Из забавных проектов отмечу - https://free.oberon.org/

[vak]

Да, действительно... То есть мусор идёт из локальной a. Тогда компилятор не врёт, всё нормально.

[vak]

Удивительным образом Оберон продолжает жить в России. Я нашёл два компилятора Оберона, и оба русские.

https://github.com/AntKrotov/oberon-07-compiler.git
https://github.com/Vostok-space/vostok.git

Я взял исходники родного виртовского компилятора из Проекта Оберон, и попробовал собрать его на Линуксе. Фиг вам: ни один из этих компиляторов не справился. Нужен нестандартный тип LONGINT. В общем, разброд и шатание в обероновском мире.

[vit_r]

Самое лучшее определение: "Язык, который был проще чем нужно".

Из Оберона 2 спёрли ценное и сделали Жабу, после чего распиарили это безобразие. Лишённый преимуществ оно заглохло естественным образом.

[euthanasepam]

> оно заглохло естественным образом


en.wikipedia.org/wiki/BlackBox_Component_Builder

blackboxframework.org