似乎无法正确地编写函数

Question

我在 ML 中编写函数时遇到问题

local
    fun add(g:int->int,f:int->int,m:int,x:int,sum:int):int=
    if m>x then sum
           else add(g,g o f,m+1,x,sum+(g f x))             
in
    fun sum f g x=
    if x=0 then f x
           else add(g,g o f,1,x,f x)  
end;

现在，我要做的基本上是 f(x)+g(f(x))+g(g(f(x)))+...+g^x(f(x) ) 但我做错了。我不断收到操作数和运算符不同意的错误。有人可以指出我做错了什么，也许我该如何解决？

fun sum f g x

是函数的给定签名，因此我无法更改它。

Answer 1

我认为错误不在g o f，而是在g f x。这不会进行类型检查，因为 g 不是两个参数的函数。你的意思是g(f x) 吗？