严格求值.在“非严格求值”（）中，不求值给函数的实际参数，除非它们在函数体内实际上被用到了。在邱奇编码下，算子的惰性求值映射到了函数的非严格求值；为此，非严格求值有时也叫做“惰性求值”。布尔表达式在很多语言中使用惰性求值；在这种上下文中它通常叫做短路求值。条件表达式也通常使用惰性求值，但出于不同的原因。
正常次序.“正常次序”（）（或“最左最外”）求值是总是归约的最外可归约式，在求值函数的实际参数之前应用函数的求值策略。它不同于传名调用，传名调用不进入未应用的函数体内求值。