Gus
Gus
Today I came with a simpler situation: I have an inline function which uses SRTP constraints to resolve a type and call some static methods in it, now one of...
They can't, that's precisely the problem.
Not really, that seems to be very useful from what I read, but not for these scenarios.
Well, F# lib does it internally. So technically it should be possible. Again, see the `string` function case.
Yes, those `when` guards are an example of looking statically for a method without propagating the constraint for that method. @NinoFloris actually `NoEagerConstraintApplication` does help to "remove" a constraint in...
Related suggestion about covariance/contravariance is here #162
@kkkmail these constraints: ``` where T : SetBase where TValue : IComparable ``` Should work in F#, what's not currently supported is when on the right side you have a...
The question is how much less effort is, compared to full HKT. I think HKT might be implemented in a similar way as Static Constraints, I mean by requiring the...
@theprash Regarding the confusion in the order of parameter there's no need to name them with a number, you can give them any name just use the normal lambda with...
I just read the RFC, for the function: `val defaultWith: defThunk: (unit -> 'T) -> result: Result -> 'T` I propose to adjust it to match what [we did at...