Don Syme
Don Syme
@mikhailshilkov Cool I missed that @paulbatum What do you think of the PR? thanks. I think this would be an adequate replacement
I'm not in favour of extending the role of user-definable symbolic operators in the language like this, into pattern matching. Just use an active pattern. As part of this, I'd...
I marked this approved in principle
This is a breaking change for a number of reasons - though one I personally wouldn't mind making if we could find a way to make it. e.g. ``` let...
I'm not really sure the best way of making progress on this, given that the most natural implementation would be a breaking change. Requiring explicit type annotations seems a bit...
Mroe realistic would be a typescript-like combination of literals-as-types plus adhoc unions, e.g. `"CDN" | "USD" | int`
Closing preferring #1195 for now
@chespinoza Since we moved to the RFC system for describing language additions it's been tricky to find the time to fold the RFCs back into the overall language specification. (The...
Yes we should really support this. BTW there is also a fairly simple type provider extension we could make to support a generalisation of the type-directed `string - - >...
Yup, approved as far as I'm concerned.