Let inline foo a (i:int)= (^qqq :

Question

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)
а тут тогда в чем проблема?

#fsharp #programming #russian

0

26.02.2019

2 ответов

9 просмотров

Ayrat Hudaygulov

кстати, вот так можно обойти ограничение let inline foo a (i:int) = (^q : (member bar: int -> (int -> int)) (a, i) ) i type C ()= member __.bar (i:int) = fun (j: int) -> 42 printfn "%i" (C() |> foo <| 2)

0

26.02.2019

Ayrat Hudaygulov · Accepted Answer

Ayrat Hudaygulov

Ограничения СРТП, надо тупле методы для мембер констрейнов

0

26.02.2019

169 похожих чатов

Let inline foo a (i:int)= (^qqq :

2 ответов

Похожие вопросы