[pattern-switch] Opting into totality

[forax at univ-mlv.fr]

> De: "Brian Goetz" <brian.goetz at oracle.com>
> À: "Guy Steele" <guy.steele at oracle.com>
> Cc: "Remi Forax" <forax at univ-mlv.fr>, "amber-spec-experts"
> <amber-spec-experts at openjdk.java.net>
> Envoyé: Jeudi 3 Septembre 2020 21:13:56
> Objet: Re: [pattern-switch] Opting into totality

> 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.
The idea of checked exceptions is worst, you can not compose methods because of that. 

Rémi 

>>> On Sep 3, 2020, at 2:16 PM, Brian Goetz < [ mailto:brian.goetz at oracle.com |
>>> 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/342eb8d8/attachment-0001.htm>