为什么会出现堆栈溢出？

Question

我正在制作一个简单的程序，将所有数字相加为 n。我很好奇为什么当我不在 n-1 上使用括号时会出现堆栈溢出，而当我使用它们时却没有。

let rec summing n=
  if n=0
  then 0 
  else n+ summing n-1;; (*(n-1)*)
summing 5;;

Answer 1

我怀疑没有括号的操作顺序：

n+ summing n-1

暗示如下：

(n) + (summing n) - (1)

这意味着 n 的相同值总是递归传递，直到堆栈溢出。显式使用括号允许您以递归方式传递 n - 1。