Нормальный порядок вычислений (normal-order evaluation) называется стратегия, когда на место параметров подставляются выражения-операнды, пока не получится выражение, в котором присутствуют только примитивные операторы. Лишь затем выражение вычисляется.
Это напоминает стратегию LOR β-редукции в λ-исчислении.
Такая полная подстановка, а затем редукция называется также ленивыми вычислениями.