是否可以在F#中执行函数重载？

Question

就像是

let f x = log(x)

后来我可以将f应用于矩阵,向量或浮点数.

我想这是不可能的,因为F#是严格静态类型的.任何其他模式来克服这个问题？

谢谢!

Answer 1

看看我对这个问题的回答:

具有通用参数类型的函数

简述:

• 你可以重载一个类的成员(但不是let-bound函数)
• 您可以使用"内联"和"帽子"类型
• 您可以模拟Haskell类型类并显式传递方法字典
• 您可以使用'obj'执行的运行时类型测试

Answer 2

您可以对类型/类使用运算符重载：

type Fraction = 
  { n : int; d : int; }
  static member (+) (f1 : Fraction, f2 : Fraction) =
    { n = f1.n * f2.d + f2.n * f1.d; d = f1.d * f2.d }

或内联函数：

> let inline fi a b = a+b;;
val inline fi :
   ^a ->  ^b ->  ^c when ( ^a or  ^b) : (static member ( + ) :  ^a *  ^b ->  ^c)