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))