F#分机话务员

Question

免责声明：我对 F# 很陌生。

我创建了一个自定义类型，我有一个加法 function。我想扩展它以允许使用标准+运算符加法（为简洁起见简化了该类型）：

type MyInt = {N:int}

let sumMyInt n1 n2 = {N=n1.N + n2.N}

type MyInt with
    static member (+)(n1, n2) = sumMyInt n1 n2

let n1 = {N=1}
let n2 = {N=2}

printfn "%O" (n1 + n2)

这有效并打印{N=3} 。 我想将此操作提升到MyInt列表， 如果我正确理解 MSDN 文档，扩展MyInt list需要扩展方法。 所以我写：

open System.Collections.Generic
open System.Runtime.CompilerServices

let sumMyInts = List.map2 sumMyInt

[<Extension>]
type MyIntListExtensions =
    [<Extension>]
    static member inline (+)(ss1, ss2) = sumMyInts ss1 ss2

    [<Extension>]
    static member inline SumMyInts (ss1, ss2) = sumMyInts ss1 ss2


let x = sumMyInts ns1 ns2
let y = ns1.SumMyInts ns2
let z = ns1 + ns2

现在x和y编译并工作。 z拒绝编译并出现错误：

The type 'MyInt list' does not support the operator '+'

最令人惊讶的部分是这个编译：

let z' = ns1.op_Addition ns2

难道我做错了什么？ 如何定义扩展运算符？

Answer 1

你今天不能在 F# 中做你想做的事，请参阅此 RFC 。

您可以做的是创建一个执行此操作的全局运算符：

let inline (@+) (xs: 'a list) (ys: 'a list) =
  List.map2 (+) xs ys


> [1; 2] @+ [3; 4]
- ;;
val it : int list = [4; 6]

出于显而易见的原因，这里明确不隐藏(+) :)。 有关在此处创建运算符的更多信息： https://learn.microsoft.com/en-us/do.net/fsharp/language-reference/operator-overloading#creating-new-operators