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

[vak]

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

$ ./foo2
         32705
             8

[spamsink]

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

[vak]

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

[spamsink]

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

[vak]

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