Здравствуйте, Sinclair, Вы писали:

S>Принципиальный — в том, что каждый шаг трансформации обязан сохранять валидность программы. Сразу видим, что подобным способом можно породить только те программы, которые входят в "область связности" исходной программы.
S>Совершенно неочевидно, что эта область связности покрывает абсолютно все нужные нам программы.

Очевидно, что исходную пустую программу можно доразвить до машину Тьюринга, а дальше выразимы все алгоритмы.
Так что в "область связности" входит всё вычислимое...


S>Отличный способ просадить продуктивность на порядки.

+100500

Но это зависит от того, кто программирует. Некоторым людям такой подход будет органичен, а обычный вообще недоступен. И таких людей больше, чем таких, кому нынешнее программирование хорошо даётся