부울 반환 유형이 아닌 동등 연산자 및 비교 연산자에 오버로드하기

Question

동등 연산자와 비교 연산자를 오버라이드하여 bool 이외의 다른 유형을 생성하는 특별한 이유가 있습니다.

나는 아래의 해결 방법을 가지고 있지만 왜 언어가 더 쉽게 할 수 없습니까?

내가 여기서 다루는 것은 이러한 연산자가 이미 오버로드되어있는 외부 라이브러리이므로 F #에서 동일한 방식으로 작업하기를 원할뿐입니다. 그것을 성취하기 위해서 내가해야만하는 것은 옳지 않은 것 같습니다.

type ATArrayLT = ATArrayLT with 
    static member  (?<-) (x:ATArray, ATArrayLT, y:int ) = ATArray.op_LessThan(x, float32 y) 
    static member  (?<-) (y:int , ATArrayLT, x:ATArray) = ATArray.op_LessThan(x, float32 y)   
    static member  (?<-) (x:ATArray, ATArrayLT, y:float32) = ATArray.op_LessThan(x, y) 
    static member  (?<-) (y:float32, ATArrayLT, x:ATArray) = ATArray.op_LessThan(x, y) 
    static member  (?<-) (x:ATArray, ATArrayLT, y:ATArray) = ATArray.op_LessThan(x, y) 
    static member inline (?<-) (x  , ATArrayLT, y  ) = x < y 

let inline (<) x y = x ? (ATArrayLT) <- y 

Answer 1

비교와 평등 사업자 (<, >, =)는 잘 정의 된 행동 (spec §8.15.6)가 있습니다. 특히 비교는 IComparable 구현에 따라 다르며 동등 함은 Equals에 달려 있습니다.

C#에서 같은 이름의 연산자와 유사점이 있습니다. 당신은 여전히 ​​비 전통적인 행동을 완료는 C#의 변형을 제공 할 수 있습니다, 다른 .NET 언어

type T() = 
    static member op_LessThan (a: T, b: T) = new obj() 

에서 사용하지만 그들은 F #의 평등과 비교 연산자에 아무런 영향을 미치지합니다.