А есть адекватные статьи, чтоб хорошо понять srtp? Офф доки

это http://www.fssnip.net/7Ts/title/F-SRTP-of-Type-Classes-from-OO-Perspective понятно. Это непонятно: let inline konst x _ = x type CFunctor() = static member inline fmap (f: ^a -> ^b, a: ^a list) = List.map f a static member inline fmap (f: ^a -> ^b, a: ^a option) = match a with | None -> None | Some x -> Some (f x) // default implementation of replace static member inline replace< ^a, ^b, ^c, ^d, ^e when ^a :> CFunctor and (^a or ^d): (static member fmap: (^b -> ^c) * ^d -> ^e) > (a, f) = ((^a or ^d) : (static member fmap : (^b -> ^c) * ^d -> ^e) (konst a, f)) // call overridden replace if present static member inline replace< ^a, ^b, ^c when ^b: (static member replace: ^a * ^b -> ^c)>(a: ^a, f: ^b) = (^b : (static member replace: ^a * ^b -> ^c) (a, f)) let inline replace_instance< ^a, ^b, ^c, ^d when (^a or ^c): (static member replace: ^b * ^c -> ^d)> (a: ^b, f: ^c) = ((^a or ^c): (static member replace: ^b * ^c -> ^d) (a, f)) // Note the concrete type 'CFunctor' specified in the signature let inline replace (a: ^a) (f: ^b): ^a0 when (CFunctor or ^b): (static member replace: ^a * ^b -> ^a0) = replace_instance<CFunctor, _, _, _> (a, f)

0

26.08.2021

Ayrat Hudaygulov

Sergey Kostyaev
Пример в офф доке. Но после чтения спеки стало сил...

В фшарпе годная спека

0

26.08.2021

Sergey Kostyaev Автор вопроса

Ayrat Hudaygulov
В фшарпе годная спека

уже согласен, в спеке сильно понятнее

0

26.08.2021