使用另一个函数在 SML 中编写一个函数
Writing a function in SML using another function
我在 SML 中编写了一个函数 sumF，它执行以下操作：
fun inc x = x+1;
val inc = fn : int -> int
sumF inc 3;
9 : int (i.e. inc 3+inc 2+ inc 1+ 0)
总和
fun sumF f 0 = 0 |
sumF f n = f n + sumF f (n-1);
现在我想使用 sumF 编写一个函数 sumsq（平方和），但我做不到。这是我所做的。
fun sumsq 0 = 0 |
sumsq n = n*n + sumsq (n-1);
val sumsq = fn : int -> int
sumsq 3;
val it = 14 : int
这是没有给我所需输出的代码：
fun sumF f 0 = 0 |
sumF f n = f n*n + sumF f (n-1);
val sumF = fn : (int -> int) -> int -> int
sumF sumsq 3;
val it = 53 : int // wrong output
您的 sumsq 函数已经提供了平方和，但未根据 sumF 定义。你后面的代码不是这个（我假设）家庭作业问题中要求的，它没有意义，因为它现在计算平方和之和或类似的东西。
你想要的是这样的：
fun sumsq n = sumF ? n
我留给你想办法填写什么来代替 ?。
我在 SML 中编写了一个函数 sumF，它执行以下操作：
fun inc x = x+1;
val inc = fn : int -> int
sumF inc 3;
9 : int (i.e. inc 3+inc 2+ inc 1+ 0)
总和
fun sumF f 0 = 0 |
sumF f n = f n + sumF f (n-1);
现在我想使用 sumF 编写一个函数 sumsq（平方和），但我做不到。这是我所做的。
fun sumsq 0 = 0 |
sumsq n = n*n + sumsq (n-1);
val sumsq = fn : int -> int
sumsq 3;
val it = 14 : int
这是没有给我所需输出的代码：
fun sumF f 0 = 0 |
sumF f n = f n*n + sumF f (n-1);
val sumF = fn : (int -> int) -> int -> int
sumF sumsq 3;
val it = 53 : int // wrong output
您的 sumsq 函数已经提供了平方和，但未根据 sumF 定义。你后面的代码不是这个（我假设）家庭作业问题中要求的，它没有意义，因为它现在计算平方和之和或类似的东西。
你想要的是这样的：
fun sumsq n = sumF ? n
我留给你想办法填写什么来代替 ?。