syntax - F# : ( |+| ) 中的重载内联运算符

Question

我正在尝试定义一个重载运算符，例如|+| ，如下:

let inline ( |+| ) (m1 : #IMeasurable) (m2 : #IMeasurable) = m1.Measure + m2.Measure

问题是，我不能做这样的事情:

let three = m1 |+| m2 |+| m3

因为运营商 |+|没有为案例定义 (m1 : int) (m2 : #IMeasurable) .有没有办法重载这个运算符或使用静态类型约束来使上述表达式成为可能？有没有办法修改 IMeasurable (我可以编辑)所以这是可能的？还有什么可以让上述表达式起作用的吗？

谢谢你。

Answer 1

type Overloads = Overloads with
    static member ($) (Overloads, m1: #IMeasurable) = fun (m2: #IMeasurable) -> m1.Measure + m2.Measure 
    static member ($) (Overloads, m1: int) = fun (m2: #IMeasurable) -> m1 + m2.Measure

let inline ( |+| ) m1 m2 = (Overloads $ m1) m2

没有经过测试，因为我没有 IMeasurable，但它可以完成这项工作。