值给函数的实际参数，什么时候把它们代换入函数，和代换以何种形式发生。经常使用用来研究函数的形式系统λ演算来建模求值策略，这里它们通常叫做归约策略。求值策略分为两大基本类，严格的和非严格的，基于如何处理给函数的实际参数。一个语言可以组合多种求值策略；例如C++组合了传值调用和传引用调用。多数语言对布尔表达式和codice_1语句使用某种形式的非严格求值。
严格求值.在“严格求值”（）中，给函数的实际参数总是在应用这个函数之前求值。在邱奇编码下，算子的热情求值映射到了函数的严格求值