传名调用

传名调用把实参当作一份尚未兑现的计算配方，只有函数体真正需要它时才展开。未使用的参数完全不会求值，因此它能绕过无关的发散或错误。代价是同一参数出现多次时，配方也可能执行多次；“懒”只表示延后，不表示自动共享。最外最左策略还具有一个理论优势：在纯 λ 演算中，只要项存在 β-正规形，这种正规序能够找到它。

$(\lambda x.0)\mathrm{\Omega }\to 0$，因为参数从未使用。对 $(\lambda x.x+x)(1+2)$，传名替换得到 $(1+2)+(1+2)$，两个副本分别求值；按需求调用则会把第一次得到的 $3$ 共享给第二处。

边界出现在副作用中。若实参是“读取并递增计数器”，传名调用在参数出现两次时会执行两次副作用，按需求调用只执行一次，传值调用则在进入函数前执行一次；三者可产生不同结果。因此不能把纯 λ 演算中的等价直觉不加说明地搬到有状态语言。

传名调用解释了惰性语言的语义起点，并与Church–Rosser 定理公理库Church–Rosser 定理Church–Rosser theorem · Confluence theorem完整 β-归约的合流定理：任意有限分叉都能继续归约到共同后继。、标准化定理相联系。实际惰性语言通常采用按需调用来共享一次绑定的结果；thunk 状态、黑洞检测和空间行为由专门页面给出，本页只保留非严格替换与可能重复求值的语义。

宏展开、短路逻辑和控制结构也常表现出“参数不是先算好的值”的行为。与传值调用公理库传值调用Call by value · CBV仅当实参先求值为值后才进行函数体替换的求值策略。的对照是研究上下文等价、严格性分析和效果系统的基本案例。