Везде пишут, сначала ставь цель, потом декомпозируй на этапы, потом разбивай каждый этап на шаги.
А программы мы всегда пишем наоборот - это А, это В, это С Если С больше 10, то сложи А и В, положи в Рез, иначе рассчитай А-Б, положи в Рез, верни Рез.
Никто не встречал язык, в котором было бы наоборот:
Функция(А, Б, Ц)
{
Возврат Рез;
Рез = ?(С<10, Сумма, Разность);
Сумма = А+Б;
Разность = А-Б;
}
И пускай себе исполняется только то, что нужно после запуска. (то есть несмотря на то, что и сумма и разность описаны в коде подряд, вычисляться должна только одна, так как уже на второй строке мы знаем кто именно нам нужен для результата).

Lazy функциональщина детектед.
Не нужна она.

Программировать можно сверху вниз, тогда начинаешь от цели и делаешь функции-заглушки

(0) в программировании это называется прототипированием, но выполняется оно намного более иначе, чем тот наебахтунг, который ты нарисовал

(3) фи, поручик...

(3) Не, прототипирование это то, что в (2) указано.
У меня совсем другой наебахтунг.

Оптимизатор кода скорее всего выкинет ненужные строки, во всяком случае норм. компиляторы так делают

(0) Haskell так делает. Называется "ленивые вычисления". Там функции сначала выводятся, а затем — вычисляются.

(6) Там нет ненужных строк. Ты же не знаешь, какое С прийдет.

(8) ну, раз незнает, то фсё и выкинет )

(7) Не, ленивые вычисления здесь не самоцель, а побочный эффект. Вопрос именно в написании с результата и назад.

А мне по размышлении пролог напомнило.

функция(Рез, А, Б, С):- С < 10, сумма(Рез, А, Б).
функция(Рез, А, Б, С):- С > 10, разность(Рез, А, Б).
сумма(Рез, А, Б):- Рез is А + Б.
разность(Рез, А, Б):- Рез is А - Б.

Хотя, при большой длине функции она все равно описывается практически как последовательность действий по перебору.

(10) ну так Haskell так и поступает: он сначала _выводит_ функцию, а потом вычисляет аргументы, при том только те, которые необходимы.

(11) Так то хаскель, то есть в процессе выполнения, а код у него как написан? от возврата к детализации или  наоборот?

реализуй - функция меняет значения аргументов местами и возвращает их сумму

только меня покоробило что в коде "ц" ("с") то русская , то латинская ?

(13)
Ф(А, Б)
{
Возврат Рез;
Рез = А+Б;
А = Темп1;
Б = Темп2;
Темп1 = Б;
Темп2 = А;
}

(14) Это все больше меньше виноваты с пунтой на пару.

(14) Что такое "зануда" - не надо напоминать? )))

http://ru.wikipedia.org/wiki/%CE%E1%F0%E0%F2%ED%E0%FF_%EF%EE%EB%FC%F1%EA%E0%FF_%E7%E0%EF%E8%F1%FC

вернее https://ru.wikipedia.org/wiki/Польская_нотация

(12) А какая разница, если ты пишешь в функциональном стиле? В ФП нет понятия "порядок вычисления". Там имена функций и переменных суть такая же, как в математике — просто "укороченная" запись некоторого выражения. При исполнении программы эта запись "разворачивается", т.е. на место переменных ставятся выражения, и только после этого происходит собственно вычисление.

(19) Значит надо почитать обзорку по Хаскелю. Спасибо за направление.

отсюда можно начать http://dshevchenko.biz/hs.html

LLUN >< ОНЕЛЕДЕРПОЕН

(22) Рановато начал....

(22) s/></<> ^^