传值调用

传值调用把实参计算完成后再交给函数，因此函数体中每次使用参数都只是在使用一个已经得到的值。它与现实机器的栈式调用和严格语言的直觉接近，也让副作用顺序较易预测。关键不是“复制值”还是“传地址”的实现细节，而是函数体开始前是否必须完成实参求值；语言仍可用引用、对象或共享指针表示这个值。由于会求值即使未被函数使用的参数，传值可能在本可忽略的发散或异常上停住。

令 $\mathrm{\Omega }=(\lambda x.xx)(\lambda x.xx)$。项 $(\lambda x.0)\mathrm{\Omega }$ 在传值调用下必须先求值 $\mathrm{\Omega }$，因而发散；传名调用可直接替换并得到 $0$。另一方面，$(\lambda x.x+x)(1+2)$ 会先把 $1+2$ 算成 $3$，再在函数体中使用两次 $3$，不会重复执行加法。

边界在于“传值”不等于“没有共享副作用”。若值是可变对象的引用，把引用作为值传入仍允许函数修改同一对象。求值顺序也不是由 call-by-value 一词完全决定：语言还必须规定多个实参是从左到右、从右到左还是未指定顺序求值。

多数严格函数式语言和命令式语言采用某种传值调用核心语义。求值上下文公理库求值上下文Evaluation context用单洞语法集中描述小步语义允许暴露的下一个 redex 及求值顺序。可精确规定其顺序；CBV CPS 变换公理库续延传递风格变换Continuation-passing style transformation · CPS transformation把直接风格程序系统翻译为显式接收续延、只以尾调用传递结果的程序变换。把顺序翻译成显式续延，CEK 抽象机公理库CEK 抽象机CEK machine · Control Environment Kontinuation machine以控制项、词法环境和续延帧执行传值 λ 演算的环境式抽象机器。则用环境和 ar/fn 帧执行同一策略。递归编码也必须尊重这一顺序：直接运行 $Y$ 会在自应用处发散，传值适用的 $Z$ 组合子公理库不动点组合子与递归Fixed-point combinator · Y combinator · Z combinator在无类型 λ 演算中把函数送到它自身的不动点，从而在没有递归原语时表达递归。通过额外 λ 延迟递归展开。

类型安全证明通常以调用值的值形式引理和 β 规则为中心。与传名调用公理库传名调用Call by name · CBN把尚未求值的实参表达式直接替入函数体且只在需要时展开的策略。比较同一程序，可揭示严格性分析、惰性求值和副作用语义的差异。