为什么Haskell不能优化这个重复的函数调用？
在我的 Haskell 代码中，我使用了一个经常被调用的函数，如下所示：
doSomething x y = (a, b)
where a = expensive1 x y
b = expensive2 x y a
使用 GHC 8.10.3 和 -O2 编译我的程序需要大约 45 秒才能运行。但是，如果我像这样编写相同的函数：
doSomething x y = (a, b)
where a = expensive1 x y
b = expensive2 x y (expensive1 x y)
我的程序需要大约 60 秒才能运行。
编译器不应该识别重复的调用expensive1 x y并将其优化掉吗？expensive1并且expensive2是纯函数，因此expensive1 x y不需要重新计算。或者 GC 是否过于激进和垃圾收集，a之后才b需要？
回答
这是一种权衡。您建议的优化减少了运行时间，但增加了内存使用量。每次都自动获得正确的权衡太难了，所以程序员可以控制它——命名一个东西，它被共享，不命名，它被重新计算。
（...主要是。与这些事情一样，这很复杂。但这是答案的 10 公里视图。）
顺便说一下，这种优化的名称是“公共子表达式消除”。谷歌搜索应该会为您提供有关该领域中不同编译器选择的更多信息。
- @oisdk yes, but it's very conservative about it, precisely because as said in the answer, it can actually have detrimental memory impact. (As well as blowing up compilation times – full general CSE requires solving the halting problem, you can only ever get heuristics.)
- @oisdk As I said in the answer... it's complicated. ^_^