많은 연산자로 일반화하기

Question

나는 인용 부호를 사용하고 있으며 근사값을 찾지 못했습니다. 그래서 나는 이것을 쓰기로 결정했다. 오퍼레이터가 상에 매핑되지 그러나

let inline (=~=) x y = abs x-y < 1.E-10 

는리스트

let test = [1;2] =~= [1;2] //---> error 

것이 가능 (=) 같은 흐름이 연산자를 선언하는 말?

아니면이 'StructuralEquality-ishness "와 같은 새로운 특성을 정의 할 필요?

은?

Answer 1

나는 Unquote를 모르지만 근사 함수/연산자에 대해서는 구조 비교를 구현하는 방법이 있는지 확실하지 않습니다.

당신이 기술을 사용하여 (또는 트릭)를 F # Typeclasses 프로젝트에 사용되는 것과 유사한, "손으로"그렇게하고 싶다면, 여기에 예입니다

type Approximate = Approximate with 
    static member inline ($) (Approximate, x:^n  ) = fun (y:^n) -> float (abs (x-y)) < 1.E-10 
    static member inline ($) (Approximate, x:list< ^n>) = 
     fun (y:list< ^n>) -> 
      x.Length = y.Length && (List.zip x y |> List.forall (fun (a,b) -> (Approximate $ a) b)) 
// More overloads 
let inline (=~=) x y = (Approximate $ x) y 

Answer 2

http://code.google.com/p/fsharp-typeclasses/는 (그래서 인용을 끝내 사용하지 않은, 말과 새로운 연산자를 정의하기 위해 더 나은가요 이 적용되지 않을 수 있습니다.)

이 함수

'a -> 'b -> bool (requires member (-) and member Abs) 

List 미상의 서명에 봐 이러한 연산자 중 하나를 지원하지 마십시오. 예, 귀하의 기능은 일반 사항이지만 제약 사항 때문에 목록과 함께 사용할 수 없습니다. 한편, 제약 조건이 없으므로 어떠한 유형에도 사용할 수 있습니다. 제약 조건을 제거하기 위해 함수를 다시 작성할 수 있다면 유사하게 사용할 수 있습니다 (그러나 - 및 abs의 사용을 고려하면 어떻게되는지 알 수 없습니다). list이 이러한 연산자와 어떻게 다르게 작용할 것으로 예상됩니까?