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

时间:2009-12-20 15:35:07

标签: .net f# functional-programming

这样的东西
let f x = log(x)

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

我想这是不可能的,因为F#是严格静态类型的。还有其他任何方法可以解决这个问题吗?

谢谢!

2 个答案:

答案 0 :(得分:14)

请参阅我对这个问题的回答:

Functions with generic parameter types

简言之:

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

答案 1 :(得分:4)

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

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)