> -- AVC писал(а):
> Просто я немного побаиваюсь, что Вирт (вдруг) возьмет и запретит ...
Думаю, особо бояться нечего: что-то запретить, скажем, в КП уже не вдруг.

> -- AVC писал(а):
> Совсем неочевидно, что цикл Дейкстры (расширение цикла ) может заменить LOOP...
Вроде бы из теории Дейкстры именно эта возможность и следует.

А вот насколько можно пренебречь "оптимизированным" вариантом, мне не очевидно: кажется, не так уж редки случаи, когда условия довольно сложные, и там заодно что-то еще вычисляется, и приводить к чистому WHILE будет расточительно. Хотя можно обойти введением каких-то умных оболочек-фасадов...