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

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

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

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