Eli*_*lay 12
速度不是一个大问题.例如,您可以决定使用教堂数字但优化实施,以便数字像往常一样表示 - 以对用户完全透明的方式.结果数字显然会和任何语言一样好 - 除非人们尝试实现自己的算术运算并发现它们不像实现中那样快,或者当他们发现使用内置7更快时比相应的lambda表达式...但这指出了一个更糟糕的问题.在普通的lambda演算中,只有一个参数函数.这意味着你在一个非常低级的汇编语言中工作,没有类型错误,因为一切都只是函数.事实上,如果你坚持使用普通的lambda演算,就没有任何错误.机器代码的类比在这里是非常相关的:在那里,你也可以做你想做的任何事情 - 添加两个字符串,结果将是一些随机数.在lambda演算语言中,将一些列表编码发送到数字函数,它将很乐意返回(伪造)答案.
理论上,理论和实践是相同的.实际上,他们不是.
从理论上讲,它只是另一种功能语言.但是你有没有考虑过用教堂数字实际做数学的性能影响？是的,你可以做到.但是你的程序运行得如此之慢,以至于它们看起来会严重受损.实用的函数式语言必须找到方法在提供可构建的抽象和使用常用事物的快速本机实现之间进行务实的权衡.