Question

让我们说我们有这个功能：

foo n = let comp      n = n * n * n + 10
            otherComp n = (comp n) + (comp n)
        in  (otherComp n) + (otherComp n)

实际执行的次数是多少？ 1还是4？ Haskell＆＃34;存储＆＃34;函数结果在let？

的范围内

Answer 1

在GHCi中，没有优化，四次。

JavaScript error

通过优化，GHC可能能够内联函数并优化所有内容。但是，在一般情况下，我不会指望GHC将多个调用优化为一个。这将需要memoizing和/或CSE（公共子表达式消除），这并不总是优化，因此GHC对此非常保守。

作为一个拇指规则，在评估性能时，期望代码中的每个（已评估的）调用对应于运行时的实际调用。

以上讨论仅适用于 function 绑定。对于仅由

之类的变量组成的简单模式绑定

> import Debug.Trace
> :{
| f x = let comp n      = trace "A" n
|           otherComp n = comp n + comp n
|       in  otherComp x + otherComp x
| :}
> f 10
A
A
A
A
40

然后let x = g 20 in x + x将被计算一次，绑定到g 20，然后x将重复使用相同的值两次。有一个附带条件：x + x被分配了一个单态类型。

如果为x分配了带有类型类约束的多态类型，那么它就是伪装的函数。

上面，> let x = trace "A" (200 * 350) > :t x x :: Num a => a > x + x A A 140000已重新计算两次，因为它有多态类型。

这主要发生在GHCi中。在常规的Haskell源文件中，GHC使用Dreaded Monomorphism Restriction提供200 * 350单态类型，正是为了避免重新计算变量。如果无法做到这一点，并且需要重复计算，GHC会提出错误而不是静默导致重新计算。（在GHCi中，DMR被禁用以使更多代码按原样运行，并且重新计算发生，如上所示。）

总结：变量绑定x在源代码中应该没问题，并且可以按预期工作而无需重复计算。如果您想完全确定，请使用明确的单态类型注释注释let x = ...。

哈斯克尔|让表达式重新计算？

1 个答案: