为什么MC Haskell function会导致堆栈溢出

Question

我正在阅读 Haskell 这本书，并且正在阅读第 8 章。在做练习时，我注意到一些我不理解的东西。

为什么会导致堆栈溢出

mc x | x>100 = x-10
     | otherwise = mc $ mc x+11

但这不是

mc x | x>100 = x-10
     | otherwise = mc $ mc (x+11)

我认为这与 x+11 在第一个示例中没有被评估有关，但不是像这样的表达式总是被评估

例如

Prelude> id 43+94
137

Answer 1

第一个表达式

mc $ mc x+11

被解释为

mc ((mc x) + 11)

由于 function 应用程序优先于运算符。

第二个表达

mc $ mc (x+11)

被解释为：

mc (mc (x+11))

第一个确实永远不会被评估，因为如果你写：

mc x | x > 100 = x-10
     | otherwise = mc ((mc x) + 11)

然后根据mc x mc x 。 除非未评估该表达式中的mc x ，否则您将在计算mc x时调用mc x ，因此它将继续进行调用。

Answer 2

这纯粹是关于运算符优先级。 特别是，function 应用程序优先于所有运算符。 所以这：

mc x+11

实际上被解析为

(mc x)+11

并且您尝试“直观地”通过间距或缺少间距来指示所需的分组这一事实没有任何区别。 这当然是您的第二个版本效果更好的原因，因为您明确指出了您想要的分组。

当然，意外的解释意味着，对于x <= 100 ，为了评估mc x ，编译器必须首先评估mc x ，以此类推，无穷无尽。 因此最终的堆栈溢出。