Généraliser un nouvel opérateur sur plusieurs types

Question

J'utilise Unquote et je n'ai vu aucun ensemble approximatif. J'ai donc décidé d'en écrire un.

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

Cependant l'opérateur ne soit pas mis en correspondance sur, dites listes

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

Est-il possible de déclarer cet opérateur à couler comme (=)?

Ou faudrait-il définir un nouveau traits comme « StructuralEquality-ishness»?

Est-il préférable de définir un nouvel opérateur avec, disons, http://code.google.com/p/fsharp-typeclasses/?

Answer 1

Je ne sais pas Unquote, mais en ce qui concerne la fonction/opérateur approximatif je ne suis pas sûr s'il y a un moyen de l'implémenter avec une comparaison structurelle.

Si vous voulez le faire « à la main », en utilisant une technique (ou astuce) similaire à celui utilisé pour le F # classes de types de projet, voici un exemple:

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

(je n'ai pas utilisé Unquote si ce ne peut pas être applicable.)

Jetez un oeil à la signature de votre fonction

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

List DOE sn't supporte l'un ou l'autre de ces opérateurs. Oui, votre fonction est générique mais les contraintes empêchent son utilisation avec des listes.

(=), d'autre part, n'a pas de contraintes, ce qui signifie qu'il peut être utilisé avec n'importe quel type. Si votre fonction peut être réécrite pour supprimer les contraintes, elle peut être utilisée de la même façon (mais je ne vois pas comment cela est possible compte tenu de l'utilisation de - et abs - comment voulez-vous qu'un comportement list se comporte avec ces opérateurs?).