使用接口派生函数 - F#

如何解决使用接口派生函数 - F#

我是 F# 新手，我正在尝试使用这些接口实现一个小计算器... 但是我一到 f_add 就在派生部分苦苦挣扎。
如果有人可以帮助我就好了。 :)

type IFunction =
    interface
        abstract member ToString: Unit -> String
        abstract member Apply: Nat -> Nat
        abstract member Derive: Unit -> IFunction
    end

解决方法

由于 f_add 以柯里化形式定义（F# 函数的典型形式），而不是元组，因此您需要用空格传递参数，而不是作为元组：

//                                     HERE .  Using comma makes that a tuple
// member self.Derive () = f_add(f.Derive (),g.Derive ()) //wrong

相反，作为 F# 样式函数传递：

member self.Derive () = f_add (f.Derive ()) (g.Derive ()) 

其他实现中也存在同样的问题。