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

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 x+11

实际上被解析为

(mc x)+11

而且，您试图“直观地”通过间隔或不间隔来表示所需的分组，这一点都没有区别。当然，这就是为什么您的第二个版本工作得更好的原因，因为您显式地指示了您想要的分组。

当然，意料之外的解释意味着，对于x <= 100，为了计算mc x，编译器必须首先计算mc x，等等。因此，最终的堆栈溢出。