在尝试总结我对 lambda 演算的知识时，我了解到我对按值调用非常熟悉，但我从未见过按需要减少语义。我知道定义，但很高兴看到确切的含义。
这就是我对按需调用和按值调用的内容（不是很详细的描述）：
按值调用
小步
价值观
β-还原
评估上下文
Big Step（带闭包和环境）
闭包
环境
减少
点名
小步
β-还原
评估上下文
估计还有一大步，肯定和call-by-value很像，不过还是再看一次比较好。
因此，如果有人可以根据需要扩展我的列表，我将不胜感激。
问问题
452 次
1 回答
0
目前我不能用 Tex 写这个，但主要的是：当使用纯函数时，具有相同参数的函数的评估值将始终相同，所以当你在同一个身体中时，你可以使用评估参考而不是再次评估它。
有关更多信息，请参阅： http ://repository.readscheme.org/ftp/papers/plsemantics/felleisen/jfp96-af.pdf
于 2017-10-29T12:26:03.070 回答