Haskell - Eta 减少和 Eta 扩展

Question

一直在研究函数式程序优化，一直在挖掘GHC源码。 我（大部分）理解 eta 缩减和 eta 扩展是什么。 Eta 减少仅删除多余的 lambda：

\x -> abs x
=>
abs

Eta 展开与 eta 减少相反，并执行以下操作（如果我不正确，请纠正我）：

abs
=>
\x -> abs x
-----------------------------------------------
foo = abs
=>
foo x = abs x
-----------------------------------------------
foo = bar 100
bar x y = x + y
=>
foo y = bar 10 y
bar x y = x + y
-----------------------------------------------
etc...

我不明白的是它们如何不妨碍彼此并将编译器发送到无限循环中。 例如，首先对一个值进行 eta 扩展，然后将其进行 eta 缩减，依此类推。 那么，这两种优化如何不妨碍对方呢？

Answer 1

我想我找到了答案。 我从 GHC 的一位贡献者那里找到了一篇论文（不记得它叫什么了），其中提到 GHC 不做 eta 减少。 相反，它进行 eta 扩展和 beta 减少（IIRC）； Beta 减少完成了大部分工作。