let inline foo a (i:int)= (^qqq : (member bar: int -> int -> int) (a, i, i)) type C ()= member __.bar (i:int) (j: int) = 42 printfn "%i" (C() |> foo <| 2) ...
let inline foo a (i:int)= printfn "before calling bar" (^qqq : (member bar: unit -> int) a) Никак не пойму duck-typing в f#. Можно тут как то потребовать bar int->int...
и почему кстати обязательна крышка ^ а не ' ?