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

MAG>То, что программа запускается, не значит, что она без ошибок.

В данном контексте, это значит, что IDE выполнила свою работу верно.

Б>>Т.е. переход из одного состояние в другое не вносит дополнительных ошибок.
MAG>Не факт.

В этом одна из целей и особенность такой системы. Система не должна вносить ошибок, связанных с переходом.

MAG>Кто сказал, что ошибок не было с самого начала?

В начальном (нулевом) состоянии ошибок нет.

MAG>Для тебя абсолютно правильная программа — та, что запускается и делает что-то наугад, даже если это не то, что от нее требуется?

Запускается и с вероятностью 80% делает то, что от нее требуется.
Если ты попал в 20%, ну что ж, тебе придется еще пообщаться с компьютером, объяснить ему.

Не надо требовать автоматически создать программу, которая делает все что-нужно.
Т.е. создавать "абсолютно правильную программу" как это ты понимаешь.
Я об этом писал еще в начальном топике — речь не идет про волшебную кнопку.

Основной посыл:
Система итеративная. Делает максимально возможное и максимально хорошо, на текущий момент.
Человек направляет систему, чтобы она "подумала" в определенном направлении.

Как человек общается с человеком. Когда ты говоришь человеку: "дай карандаш",
он не задает тебе вопросов какого цвета, какой длины, новый-старый и т.п.
А дает тот, которым можно писать.

Если тебе он нужен был для другого, ты просто выскажешь новые требования. И тебе дадут другой карандаш.

MAG>Потому что ты упорно даже не пытаешься читать, что тебе пишут. Можем начать сначала.

Не надо. Похоже, мы оба не можем донести до собеседника свои мысли.