2
为什么λ微积分的最佳评估器无需公式就可以计算较大的模幂？
教堂数字是自然数作为函数的编码。 (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 整整齐齐地，您只需应用两个教堂数字即可对其求幂。也就是说，如果您将4应用于2，则会得到教堂编号16或2^4。显然，这完全不可行。教堂号码需要线性的存储空间，而且速度非常慢。计算类似的10^10内容-GHCI可以快速正确回答-可能会花费一些时间，而且无论如何都无法容纳计算机的内存。 最近，我一直在尝试使用最佳λ评估器。在测试中，我不小心在最佳λ计算器上键入了以下内容： 10 ^ 10 % 13 它应该是乘法，而不是幂。在我不由自主地终止永远运行的程序之前，它满足了我的要求： 3 { iterations: 11523, applications: 5748, …