如何才能获得GHC所做的最聪明的优化？

Question

因为我能预见到它的到来:这是一个不同于What optimizations can GHC be expected to perform reliably?的问题，因为我要求的不是最可靠的优化，而是最聪明/最强大的优化。

我特别寻找GHC所做的非直觉优化，这些优化可能会对性能产生严重影响，并演示与惰性评估或纯度相关的编译器优化的威力。并直接解释如何得到它们。

最好的答案是：

• 对优化的解释，以及为什么它如此聪明或强大
• 优化提高性能的原因
• GHC如何识别何时可以使用此优化
• 优化实际上将代码转换为什么？
• 为什么这种优化需要延迟评估或纯度？

Answer 1

流融合可能是最大的融合。它把名义上分配两个新列表的sum . map (+1) . filter (>5)这样的东西变成了一个简单的循环，在常量空间中运行。