似乎無法正確編寫函數

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）），但我無法做到正確。 我不斷收到錯誤，表明操作數和運算符不同意go f。 有人可以指出我做錯了什么，也許我該如何解決？

fun sum f g x

是功能的給定簽名，因此我無法更改。

Answer 1

我不認為錯誤是在gof ，它在gfx 。 那不進行類型檢查，因為g不是兩個參數的函數。 您是說g(fx)嗎？