Paul Berry
Paul Berry
> > Does the pattern `{'k': true}` match maps with more than one key? I guess it must, otherwise the cases above wouldn't even be near exhaustive for maps. >...
Note: it's tempting to fix this proposal by instead saying that if a class `C` extends a class `A`, and `A` has the `base` modifier, then `C` also has the...
CC @lrhn @munificent @leafpetersen @kallentu @eernstg @mit-mit @jakemac53 @natebosch
> That can be implemented either by implicitly inheriting the `base`-ness, or by requiring any subclass to declare itself as `base` as well. That's not sufficient, because we allow you...
@lrhn I'm fine with any of these variations
CC @munificent @leafpetersen @kallentu @natebosch @jakemac53 @mit-mit @lrhn @eernstg
> > We are shooting ourselves in the foot a little > > I'd actually argue that it is a very serious footgun if a pattern and an expression can...
CC @eernstg @lrhn @munificent @kallentu @leafpetersen @mit-mit @natebosch @jakemac53
CC @munificent @leafpetersen @kallentu @natebosch @jakemac53 @lrhn @mit-mit @eernstg @scheglov @bwilkerson @srawlins
I think my favorite of the suggestions above is using `Record(int, {String b})` to denote a record type. I really like the similarity to what we do for function types....