[pattern-switch] Opting into totality
Brian Goetz
brian.goetz at oracle.com
Thu Sep 3 19:13:56 UTC 2020
Indeed, after serialization, statements probably go next on the list of
"gifts that keep on giving." Languages that avoided this mistake have a
leg up on languages that didn't.
>
>> On Sep 3, 2020, at 2:16 PM, Brian Goetz <brian.goetz at oracle.com
>> <mailto: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/3fabaff3/attachment.htm>
More information about the amber-spec-experts
mailing list