标准ML：具有两个参数的递归函数

Question

我正在做练习问题而且我被困住了。

我应该声明一个函数sum: int * int -> int where

  

sum（m，n）=（m +（n-1））+（m + n）

我的递归函数如下：

  

sum(m,0)= 0 | sum(m,n) = m+sum(n-1)+(m+n);

为什么会出错？

Answer 1

我不知道这应该做什么，但是你得到一个错误，因为第二行中的递归调用只有一个参数，尽管sum需要两个。