f# - 在 F# 中使用显式数据类型创建新运算符

Question

有没有一种方法可以显式地定义我定义的新运算符的元素？

我检查了文档但找不到它: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/operator-overloading#creating-new-operators

假设我定义了以下 xor 运算符:

let (^@) a b =
    a <> b

let result = true ^@ false

它可以正常工作，但是下面的定义没有......

let (@^) (a: bool, b:bool) : bool =
    a <> b

Answer 1

在 @^ 中，参数是元组的。您的运算符(operator)需要两个参数。如果你指定

let (@^) (a: bool) (b: bool) : bool =
    a <> b

然后

true @^ false // true