f# - F#中重载方法的问题

Question

为什么这样的代码不能编译？

type MyType() =
    static member myMember (f,(g,h)) = g
    static member myMember (a,(b,c,d)) = MyType.myMember(a,(b,c))
    static member myMember (a,(b,c,d,e)) = MyType.myMember(a,(b,c))

它说:...元组的长度不同，分别为 2 和 4

这是一个错误？

Answer 1

我不确定这是否是一个错误，但一般来说，在存在多个重载的情况下进行类型推断很难做好。最好的办法是添加一些类型注释:

type MyType() =
  static member myMember<'a,'b,'c> (f:'a,(g:'b,h:'c)) = g
  static member myMember (a,(b,c,d)) = MyType.myMember<_,_,_>(a,(b,c))
  static member myMember (a,(b,c,d,e)) = MyType.myMember<_,_,_>(a,(b,c))