为什么当我在另一个函数的应用中应用一个参数为n-1的函数（没有圆括号）时，会有无限的递归？

Question

这里，我可以将参数7-1传递给函数f，不带圆括号。

Prelude> f = (+1)
Prelude> f 7-1
7

1.为什么下面是无限递归？

Prelude> addRec :: (Eq a, Num a) => a -> a; addRec 0 = 0; addRec n = n + addRec n-1;
Prelude> addRec 5

2.我可以通过在n-1中添加括号来修复它

Prelude> addRec :: (Eq a, Num a) => a -> a; addRec 0 = 0; addRec n = n + addRec (n-1);

Prelude> addRec :: (Eq a, Num a) => a -> a; addRec 0 = 0; addRec n = n + (addRec $ n-1)

我们正在使用function application（据我所知，它是在函数后面用空格表示的运算符）来实现这种组合。

函数应用程序是左关联的，所以我的第一个问题是：当我们添加对应于默认左关联的括号时，addRec n=n+addRec n-1是什么样子的？

Answer 1

F7-1并不是您所想的那样。

在Haskell中，函数应用具有最高的优先级。这意味着F7-1总是被解释为(F7)-1。负号周围没有空格是无关紧要的，只有在巧合的情况下才得到正确答案:F7=(+1)7=8，然后8-1=7。如果函数定义为f=(*2)就不会发生这种情况。

类似地，addRec n-1被解释为(addRec n)-1，因此每次都使用相同的参数n调用addRec，从而产生无限的递归。