> -- AVC писал(а):
> ОТ МОДЕРАТОРА: Вольно процитировал из ветки про Оберон-07... Цикл LOOP напрасно исключён Виртом из Оберона-07. Введённый вместо него цикл Дейкстры на практике бесполезен ...

Неверно, что цикл Дейкстры не встречается. Редко, но встречается. И именно для сложных случаев он позволяет с гарантией "разрулить" сложность. (Это по своему опыту, конечно.) Просто привычки к нему нет (тут, подозреваю, несколько как с привычкой к деструкторам из Ц++).

И как раз про "недоказанность" цикла Дейкстры говорить трудно.
Число логич. переменных он как раз уменьшает.
И "альтернативы с WHILE" никак искусственными быть не могут, если WHILE многоветочный (дейкстровский).

С циклом Дейкстры единственное известное мне применение LOOP -- оптимизация (сохранение частичных результатов при сложных условиях или исключение дублирования кода).
Затрудняюсь сказать, насколько это важное соображение для языка-ядра, но мое ощущение -- что не очень важное.

Вон, известный Eric Raymond ("Искусство программирования на Юниксе") активно пропагандирует питон + Ц(для кусков, где нужна оптимизация) вместо Ц++. При том, что питон сильно тормозной, судя по вот этому:http://shootout.alioth.debian.org/u32/b ... l&lang=all

В этом смысле Оберон-07+SYSTEM более чем конкурентоспособен.