Псевдокод тупого примера:

функция A(x): записать x в файл Z, вернуть x
функция sum(): возвращает сумму аргументов

sum(A(5) + A(6) + A(7))

Когда у нас говорится, что порядок вычислений аппликативный, и что компилятор вычисляет слева-направо, то в файле получим "567".

Если A будет сама вычислять свои аргументы, то что мы получим в файле - хз, зависит от конкретной функции А.


То, что так делать нельзя из-за майнтенабилити - это вопрос совсем другой. Подобного рода "решения" я видел в реальности, в промышленном коде. На лиспе тоже видел (ну, на всяких лиспах, особенно на common lisp, говнокода написано немало, да).

Более хитрый пример можешь сам придумать :)

ой фак, зачем я написал плюсы?

sum(A(5), A(6), A(7)) - вот так надо же.

В противовес - Id90, lenient reduction order (среднее между ленивым и энергичным, аргументы могут вычисляться как угодно), LazyML, Miranda, Hope.

Все ЯП с порядком упрощения, отличным от энергичного. Везде были способы писать программы, пишущие в файл.

К слову, в Scheme порядок вычисления аргументов неспецифицирован, так что в файле будет все, что угодно (в смысле любая перестановка "567").

Есть стандарты, а есть реализации ;)

Во время некоторых оптимизаций порядок вычисления аргументов вполне может измениться.