Статья 359

Аппарат выводов в форме графов позволил исследовать это правило и показать, что оно допустимо в классической логике и в логике схем программ, а в интуиционистской логике позволяет вывести. Таким образом, структурные оказались совместимы с циклами и обычными функциями, но несовместимы со сложными структурами данных и функционалами высших типов.
Конструктивный анализ дает не только отрицательные результаты. Например, рассмотрение логики схем программ позволило установить, что столь тщательно изгоняемые естественно получаются в том случае, если все рассматриваемые действия можно считать глобальными преобразованиями состояния системы, а операторы структурного программирования здесь лишь затемняют дело.
Циклы оказались хорошо совместимы с массивами и плохо - с рекурсивными структурами данных, а процедуры высших типов - наоборот.
Массивы и сложные структур данных плохо совместимы с присваиваниями в данном случае присваивание дается на целый ряд операторов, несущих различный логический смысл.