Ich habe das gefunden:

abs -10
abs -10L

beide arbeiten. Also habe ich mich gefragt, wie F # dies implementiert und eine Suche im Quellcode durchgeführt hat:

    type AbsDynamicImplTable<'T>() = 
    let AbsDynamic x            = AbsDynamicImplTable<_>.Result x

    [<CompiledName("Abs")>]
    let inline abs (x: ^T) : ^T = 
         AbsDynamic x
         when ^T : ^T = absImpl x

Und ich bin mit diesen verwechselt.

Da weiß ich in einer Funktion wieabsmüssen wir die Eingabe mit 0 vergleichen, und es gibt verschiedene 0s für verschiedene Typen.

Vielen Dank.