Dynamic F#动态查找运算符（？）重载

无法在类型上定义（？）运算符重载：

type Foo =
     val s : string
     new(s) = { s = s }
     static member (?) (foo : Foo, name : string) = foo.s + name

let foo = Foo("hello, ")
let hw  = foo? world

// error FS0043: The member or object constructor 'op_Dynamic'
// takes 2 argument(s) but is here given 1. The required signature
// is 'static member Foo.( ? ) : foo:Foo * name:string -> string'.

如果我对运算符定义使用独立let绑定，则所有这些都可以正常工作：

let (?) (foo : Foo) (name : string) = foo.s + name

let hw  = foo? world

但是我需要直接为type

Foo

指定

op\u Dynamic

操作符。第一段代码有什么问题

---

使用

F#1.9.7.4

@visualstudio 2010 Beta2

也许有一种更简单的方法（我看一下），但在紧要关头可以这样做：

type Foo =     
    val s : string     
    new(s) = { s = s }     
    static member (?)(foo : Foo, name : string) = 
        foo.s + name

let inline (?) (o:^T) (prop:string) : ^U =
    (^T : (static member (?) : ^T * string -> ^U)(o,prop))

let foo = Foo("hello, ")
let hw  = foo ? world 
printfn "%s" hw

---

更简单的方法？！？是的，它是有效的，但是为什么我要把这个“内联（？）解决方案放到任何带有重载（？）运算符的类中来使用它呢？为什么我不能直接使用定义运算符重载？是的，事实证明F#解析器中有一个bug，您的原始代码应该可以工作。谢谢你指出这一点！我已经把窃听器归档了。