Neal Gafter
Neal Gafter
@mwpowellhtx Java enums have a single instance of each option, which is a value. Discriminated unions on the other hand have an arbitrary number of instances of each option, which...
@orthoxerox No, #9 is a PR which integrated the C# language spec. @MgSam I don't see any discussion of declaration expressions in those notes. What are you referring to?
I have championed this issue and added the following notes: UPDATE 2019-09-11: I no longer think there is a need to so severely restrict which statement forms are permitted, though...
/cc @CyrusNajmabadi
/cc @MattWindsor91
@orthoxerox The proposal supports type classes on generic types. Unless perhaps I don't understand what you mean.
@orthoxerox It does not support higher-order generics.
@louthy Without thinking too deeply about it, I would ask the questions 1. Are higher-order types related to type classes, or orthogonal (but perhaps complementary) to them? 2. Do they...
Given that changes that require CLR changes are much, much more expensive to roll out and require a much longer timeframe, I would not mix higher-kinded types into this issue....
If the constraints are already expressible (supported) in current CLRs, then enhancing C# constraints to expose that is a language request (otherwise a CLR *and* language request). I don't know...