[pattern-switch] Opting into totality
Guy Steele
guy.steele at oracle.com
Thu Sep 3 19:06:53 UTC 2020
> On Sep 3, 2020, at 2:16 PM, Brian Goetz <brian.goetz at oracle.com> wrote:
>
> That came up in the expression switch exploration. The thinking then, which I think is still valid, that it is easier to understand the difference when default-totality is attached to the expression versions, because expressions _must_ be total and statements totally make sense to be partial.
Which, many theorists would say, is an indictment of statements (both generally and in this specific instance).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20200903/4e68404c/attachment-0001.htm>
More information about the amber-spec-experts
mailing list