Насколько безумен был Алгол-60

[spamsink]

Программа

   1.   _BEGIN
   2.  _PROCEDURE POP(Q); _PROCEDURE Q;
   3.  _BEGIN Q(3); _END;
   4.
   5.  _PROCEDURE PIP(A); _LABEL A;
   6.  _BEGIN _GOTO A; _END;
   7.
   8.  _PROCEDURE PAP(B); _INTEGER B;
   9.  _BEGIN OUTPUT(‘T’, ‘INTEGER ’, ‘ZD’, B) _END;
  10.
  11.  POP(PAP);
  12.  _IF _FALSE _THEN 3: OUTPUT(‘T’, ‘ LABEL 3’) _ELSE POP(PIP);
  13.  _END

компилируется и работает, печатая

          INTEGER 3 LABEL 3

Comments

[paserbyp]

А на PL/1 это безумие можно повторить?

[spamsink]

Чего не знаю, того не знаю - ни разу на PL/1 не программировал. Не ЕСках я не работал, а на БЭСМ-6 его не было.

[paserbyp]

Тогда как насчёт FORTRAN?

[spamsink]

Написать можно, и скомпилируется, но работать не будет. Будет переход по адресу 3.

[paserbyp]

Ясно…

[vak]

По моему, только в Алголе 60 целые числа можно было ничтоже сумняшеся преобразовывать в метки. Уже в Алголе 68 эту дичь убрали.

[spamsink]

Да и в Алголе-ГДР целочисленных меток уже нет.

Тут, кстати, не преобразование, а чисто контекстная интерпретация: написать 2+1 вместо 3 нельзя.
Дело в том, что при компиляции формальных процедур всё равно приходится дожидаться конца программы, чтобы выяснить, как компилировать параметр, передаваемый в формальную процедуру: может, одна фактическая принимает параметр по значению, а другая - по имени. Так что дополнительный вариант трактовки целой константы как метки не сильно усложняет компилятор.

[vak]

То есть никакая раздельная компиляция в принципе не подразумевалась. Интересно, найдётся хоть один современный компилятор Алгола, который сумеет воспроизвести этот трюк с передачей числа как метки.

[spamsink]

Думаю, не найдётся. В реализациях от числовых меток довольно быстро отказались, потому что стандарт, насколько я понимаю, не требовал их обязательной поддержки.

% ./marst 
begin 1: end
(stdin):1: invalid use unsigned integer `1' as a label

[spamsink]

Я нашёл, где именно от них отказались. В Revised Report (1962) ещё можно (3.5.1, стр. 15), а в Modified Report (1974-1976) уже нельзя (3.5.1, стр. 17)