Обобщение нового оператора по многим типам

Question

Я использую Unquote и не вижу никаких приблизительных значений. Итак, я решил написать один.

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

Однако оператор не отображается на, скажем, списки

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

Можно ли объявить этот оператор течь как (=)?

Или это потребует, чтобы определить новые черты, как «StructuralEquality-ishness"?

Что лучше определить новый оператор, скажем, http://code.google.com/p/fsharp-typeclasses/?

Answer 1

Я не знаю Unquote, но относительно приближенной функции/оператора Я не уверен, есть ли способ реализовать его со структурным сравнением.

Если вы хотите, чтобы сделать это «вручную», используя метод (или трюк), аналогичный тому, который используется для F # Классы типов проекта, вот пример:

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

(я не использовал Unquote так это может быть не применимо.)

Посмотрите на подпись вашей функции

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

List лань sn't поддерживают любой из этих операторов. Да, ваша функция является общей, но ограничения исключают ее использование со списками.

(=), с другой стороны, не имеет ограничений, то есть его можно использовать с любым типом. Если ваша функция может быть переписана, чтобы удалить ограничения, то ее можно использовать аналогичным образом (но я не вижу, как это возможно, учитывая использование - и abs - как вы ожидаете, что list будет вести себя с этими операторами?).