> -- AVC писал(а):
> Дональд Кнут в защиту goto:Дейкстра сделал простую и понятную вещь:
прояснил логическую/математическую структуру императивного программирования и вывел свой формализм из первых принципов.

Мое обдуманное мнение: Дональд Кнут -- "рукосуй", как все ярко выраженные комбинаторные типы.
Обобщения его -- кривые или тривиальные.
Его утверждение (в тексте, указанном AVC) насчет того, что классические математики выиграли (won) у конструктивистов -- просто неверно. Он элементарно не понимает этого своего простенького и привлекательного лозунга.

Дейкстра, повторюсь,вывелсвою теорию построения программ из первых принципов. Разумеется, в идеальных предположениях. (Кто, окончив ун-т по соотв. специальностям, не понимает таких вещей?)

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

Принял "статистическое решение" и дальше читать Кнута не стал.......