Телеграмм чат группы Fsharp

This is a restriction imposed to make F# type inference tractable. In particular, the type on the right of a subtype constraint must be nominal. Note constraints of the form 'A :> 'B are always eagerly solved to 'A = 'B, as specified in section 14.6 of the F# specification.

источник

14:51пожаловаться #7

Vladimir Shchur in F# Chat

https://stackoverflow.com/questions/4173283/how-do-i-translate-a-where-t-u-generic-type-parameter-constraint-from-c-shar?rq=1

Stack Overflow

How do I translate a `where T : U` generic type parameter constraint from C# to F#?

F# is giving me some trouble with its type inference rules. I'm writing a simple computation builder but can't get my generic type variable constraints right.
The code that I would want looks as f...

источник

14:52пожаловаться #8

Ayrat Hudaygulov in F# Chat

Vladimir Shchur

https://stackoverflow.com/questions/4173283/how-do-i-translate-a-where-t-u-generic-type-parameter-constraint-from-c-shar?rq=1

Stack Overflow

How do I translate a `where T : U` generic type parameter constraint from C# to F#?

F# is giving me some trouble with its type inference rules. I'm writing a simple computation builder but can't get my generic type variable constraints right.
The code that I would want looks as f...

нихуя не понял. Петричек пишет что там надо обжекты использовать

источник

14:53пожаловаться #9

Ayrat Hudaygulov in F# Chat

а я не согласен на обжекты

источник

14:53пожаловаться #10

Vladislav Khapin in F# Chat

Ayrat Hudaygulov

@Lanayx ты точно должен знать

type Foo =
member _.foo<'a, 'b when 'b :> 'a>() ...

кидает ошибку что 'b == 'a и я мудак
А там же может быть интерфейс + реализация поданы как параметры

так это созависимые дженерики и не работает нтхуя

источник

14:53пожаловаться #11

Vladislav Khapin in F# Chat

слр не умеет же

источник

14:53пожаловаться #12

Ayrat Hudaygulov in F# Chat

Vladislav Khapin

так это созависимые дженерики и не работает нтхуя

ну я понимаю что такого констрейна в рантайме нет

источник