<html><body><div id="zimbraEditorContainer" style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000" class="15"><div><br></div><div><br></div><hr id="zwchr" data-marker="__DIVIDER__"><div data-marker="__HEADERS__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><b>De: </b>"Brian Goetz" <brian.goetz@oracle.com><br><b>À: </b>"Guy Steele" <guy.steele@oracle.com><br><b>Cc: </b>"Remi Forax" <forax@univ-mlv.fr>, "amber-spec-experts" <amber-spec-experts@openjdk.java.net><br><b>Envoyé: </b>Jeudi 3 Septembre 2020 21:13:56<br><b>Objet: </b>Re: [pattern-switch] Opting into totality<br></blockquote></div><div data-marker="__QUOTED_TEXT__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><br>
    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.  </blockquote><div><br></div><div>The idea of checked exceptions is worst, you can not compose methods because of that.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>Rémi<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><br>
    <br class="">
    <blockquote cite="mid:78558FA3-8C89-4022-AA9B-621C59930152@oracle.com">
      <div><br class="">
        <blockquote class="">
          <div class="">On Sep 3, 2020, at 2:16 PM, Brian Goetz <<a href="mailto:brian.goetz@oracle.com" class="" target="_blank">brian.goetz@oracle.com</a>>
            wrote:</div>
          <br class="Apple-interchange-newline">
          <div class="">
            
            <div class=""> <font class="" size="+1"><tt class="">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.  <br class=""></tt></font></div>
          </div>
        </blockquote>
        <br class="">
      </div>
      <div>Which, many theorists would say, is an indictment of
        statements (both generally and in this specific instance).</div>
      <div><br class="">
      </div>
    </blockquote>
    <br><br></blockquote></div></div></body></html>