haskell - 当参数出现多次时，Haskell 中惰性求值的性能

Question

假设我有一个函数可以计算由定义的数字的四的幂

let power4 x = x*x*x*x

我尝试通过 x = (3 + 8)*2

let result = power4 ((3 + 8)*2) 

由于在 Haskell 中，值会被评估直到需要它们，这是否意味着 x 将评估四次？如果是这样，有什么方法可以改进 Haskell 编译器？

谢谢。

Answer 1

不，它只会被评估一次。在按名称调用中，它将被评估四次，但所有 Haskell 实现都是按需调用(尽管标准不要求这样做)，这意味着每个表达式最多会被评估一次。

这仅适用于表达式完全具体的情况。例如。无法保证:

foo x = x + (1+2)

bar = foo 3 + foo 4

计算时 bar , (1+2)只会被评估一次。事实上，它可能会被评估两次(如果编译时没有优化)。