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

Из опыта предыдущих обсуждений этой темы ставится обязательное требование - обсуждение должно вестись на "соответствующем научно-техническом уровне".

Допускаются выступления двух характеров:

1) Конкретные примеры задач и кода (видимо, преимущественно из системного программирования), в которых, по мнению автора сообщения, имеются проблемы с конструкциями классического структурного программирования, с их обсуждением.

2) Обобщающие и теоретические сообщения, к авторам которых предъявляется обязательное требование - компетентность в области теории и методов программирования не ниже, чем на уровне 70-х, задаваемом работамиДейкстры "Дисциплина программирования"(формализация свойств программных конструкций и доказательное программирование),Гриса "Наука программирования"(учебник по методам Дейкстры),Вирта "Систематическое программирование"(нисходящее проектирование алгоритмов методом пошаговой детализации и уточнения и т.п.).
Специальное пояснение: не следует путать "Дисциплину программирования" с работами Дейкстры и др. по структурному программированию. Структурное программирование - это "эмпирика", и как раз оно является предметом дискуссионного обсуждения в данной ветке. Содержание "Дисциплины программирования" - метод логического рассуждения об алгоритмах, и он принимается для целей данной ветки за недискутируемый фундамент.


Сообщения, не соответствующие названному формату обсуждения, будут удаляться.