Перегрузка оператора динамического поиска 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

Но мне нужно указать оператор op_Dynamic непосредственно для типа Foo. Что не так с первым фрагментом кода?

Использование F# 1.9.7.4 @ Visual Studio 2010 Beta2


dynamic f# operator-overloading
person controlflow    schedule 25.10.2009    source источник

Ответы (1)


arrow_upward
4
arrow_downward

Возможно, есть более простой способ (посмотрю), но в крайнем случае сойдет и этот:

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
person Brian    schedule 25.10.2009
comment
Проще?!? Да, это работает, но почему я должен помещать этот встроенный (?) обходной путь в любой класс с перегруженным (?) оператором только для того, чтобы использовать его? Почему я не могу напрямую использовать определенную перегрузку оператора? - person controlflow; 25.10.2009
comment
Да, оказывается, в синтаксическом анализаторе F# есть ошибка, и исходный код должен работать. Спасибо за указание на это! Я зарегистрировал ошибку. - person Brian; 25.10.2009