Expression switch exception naming
Mark Raynsford
mark at io7m.com
Fri Mar 30 20:33:42 UTC 2018
On 2018-03-30T16:17:35 -0400
Brian Goetz <brian.goetz at oracle.com> wrote:
>
> OK, we have a terminology confusion over the term "exhaustiveness
> checking."
Got it, I'm up to speed!
> But, your point is taken; *not* having a default in a situation that
> requires exhaustiveness acts as a type-check on that exhaustiveness, and
> saying default will then cover up any sins. I get it.
Yep, that's the bit I'd hate to lose (not that I actually have it right
now :]).
--
Mark Raynsford | http://www.io7m.com
More information about the amber-spec-experts
mailing list