generics - F#:运算符绑定(bind)中的显式类型参数

Question

我正在尝试使用显式类型参数和约束来定义运算符:

let inline (===)<'a, 'b
    when 'a : not struct
     and 'b : not struct> a b = obj.ReferenceEquals (a,b)

它在 F# 2.0 中运行良好，但会产生:

warning FS1189:
Type parameters must be placed directly adjacent to the type name, e.g. "type C<'T>", not type "C <'T>"

那么，为运算符定义做显式类型参数规范的正确方法是什么？

p.s.请不要告诉我隐式类型参数和其他一些解决方法，我想具体解决这个问题。

Answer 1

编译器中的错误意味着符号运算符永远不会被视为与类型参数直接相邻。您可以通过例如解决方法

let inline myeq<'a, 'b 
    when 'a : not struct 
    and 'b : not struct> a b = obj.ReferenceEquals (a,b) 

let inline (===) a b = myeq a b