> -- Comdiv писал(а):
> Серьёзно? Это сильно разные утверждения и подмена понятий.

Серьёзно.

Вот цитата целиком:
> -- Дмитрий Дагаев писал(а):
> Все-таки главное в 60880 - обеспечить(верифицировать) отсутствие зависаний в циклах . Причем, как для системного кода, так и для сгенеренного в будущем прикладного ПО. Поэтому, лучше всего писать специальный компилятор с одним и только одним циклом, как в . Поэтому допилить для данной задачи именно Оберон-07 представляется разумным, а . Фреймворки, конечно же пытаются представить сгенеренный ими код как безошибочный, но это очень сложно доказать.

Дмитрий вполне конкретно сказал, что, якобы, требуется ограничивать количества итераций.
И он считает, что некий язык ПИТОН не предоставляет "гарантий". Каких? Разумеется про "ограничение на количество итераций", т.к. это вообще единственное, что упоминалось в этом сообщении.

Поэтому я и говорю, что забавно, когда говорится, что "ПИТОН гарантий не предоставляет, а Оберон-07 допилить представляется разумным".
Откуда возьмётся гарантия в Оберон-07 отдельный вопрос, и сейчас это утверждение голословное.

Я к тому, что гарантии возникают не из-за наличия-отсутствия синтаксиса языка. Компилятор (интерпретатор тоже важен)