Аппликативный порядок вычислений

Аппликативным порядком вычислений (applicative-order evaluation) называется стратегия, когда сначала вычисляются аргументы, затем применяется функция.

В Коммон Лисп аргументы вычисляются строго последовательно слева направо!

Чтобы применить именованную функцию к аргументам, требуется в её теле (реализуется функциональным объектом) заменить каждый формальный параметр соответствующим аргументом.

Такая стратегия вычисления называется также энергичными вычислениями. Именно она применяется в Лисп и многих функциональных языках по умолчанию.