<div class="socmaildefaultfont" dir="ltr" style="font-family:Arial, Helvetica, sans-serif;font-size:10.5pt" ><div dir="ltr" >+1 to option 3.  It leaves the door open to make a better choice in the future.</div>
<div dir="ltr" > </div>
<div dir="ltr" ><div>> Consider the following combinations:</div>
<div>> case int n:<br>> case Integer n:  // dead</div></div>
<div dir="ltr" > </div>
<div dir="ltr" >How is null being handled in pattern matches?  Whether the Integer case is dead depends on whether or not it would match null.  (Sorry if I've missed an email thread covering this).</div>
<div dir="ltr" > </div>
<div dir="ltr" >--Dan</div>
<div dir="ltr" > </div>
<blockquote data-history-content-modified="1" dir="ltr" style="border-left:solid #aaaaaa 2px; margin-left:5px; padding-left:5px; direction:ltr; margin-right:0px" >----- Original message -----<br>From: Brian Goetz <brian.goetz@oracle.com><br>Sent by: "amber-spec-experts" <amber-spec-experts-bounces@openjdk.java.net><br>To: Gavin Bierman <gavin.bierman@oracle.com>, amber-spec-experts <amber-spec-experts@openjdk.java.net><br>Cc:<br>Subject: Re: Patterns design question: Primitive type tests<br>Date: Fri, Nov 3, 2017 3:37 PM<br> <br><!--Notes ACF
<meta http-equiv="Content-Type" content="text/html; charset=utf8" >--> <tt>As I outlined in the mail on the survey, I think there are three possible ways to treat primitive type test patterns and numeric constant patterns (when the target type is a reference type):<br><br>1.  Treat them as if they were synonyms for their box type. <br>2.  Treat them as matching a set of values; for example, "int x" matches integers in the traditional 32 bit range, unboxing numeric targets and comparing their values.<br>3.  Outlaw them, to avoid confusion or to preserve the opportunity to do either (1) or (2) later.<br><br>For my mind, I think #2 is the "right" answer; I think #1 would be a sad answer.  But, there are two additional considerations I'd add:<br> - As the survey showed, there would be a significant education component of choosing #2, and;<br> - There isn't really an overwhelming need for being able to say "Is this Object a numeric zero" or "Is this object a boxed primitive in the range of int." <br><br>Taken together, these lead me to #3 -- rather than choose between something sad and something that makes developers heads explode, just do neither.  I don't think this is a bad choice. <br><br>Concretely, what I'd propose is:<br><br>Only allow primitive type test patterns in type-restating contexts.  This means that<br><br>    switch (anObject) {<br>        case int x: ...<br>    }<br><br>is no good -- you'd have to say Integer x or Number x or something more specific.  But you could say:<br><br>    switch (anObject) {<br>        case Point(int x, int y): ...<br>    }<br><br>because the types of the extracted components of Point are int, and therefore the type test pattern is type-restating (statically provable to match.) <br><br>Similarly, for numeric constant patterns, only allow them in switches where the target type is a primitive or a primitive box. <br><br>There are ample workarounds where the user can explicitly say what they want, if they need to -- but I don't think it will actually come up very often.  And this choice leaves us the option to pursue either #1 or #2 later, if it turns out that we underestimated how often people want to do this.<br><br>This also sidesteps the question of dominance, since the confusing cases below (like Integer vs int) will not come up except in situations where we can prove they are equivalent.  </tt><br><br> 
<div>On 11/3/2017 6:47 AM, Gavin Bierman wrote:</div>
<blockquote cite="mid:DC28796E-3016-4117-8176-72E055B4FE7A@oracle.com" type="cite" ><!--Notes ACF
<meta http-equiv="Content-Type" content="text/html; charset=utf8" >-->
<h2 id="primitive-type-test-patterns" style="box-sizing:        border-box; margin-bottom: 16px; line-height: 1.225;        padding-bottom: 0.3em; color: rgb(51, 51, 51); font-family:        'Helvetica Neue', Helvetica, 'Segoe UI', Arial, freesans,        sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji', 'Segoe UI        Symbol'; margin-top: 0px !important;" >Primitive type-test patterns</h2>
<p style="box-sizing: border-box; margin-top: 0px; margin-bottom:        16px; color: rgb(51, 51, 51); font-family: 'Helvetica Neue',        Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color        Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;" >Given that patterns include constant expressions, and type tests possibly including generic types; it seems reasonable to consider the possibility of allowing primitive type tests in pattern matching. (This answers a sometimes-requested feature: can <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >instanceof</code> support primitive types?)</p>
<p style="box-sizing: border-box; margin-top: 0px; margin-bottom:        16px; color: rgb(51, 51, 51); font-family: 'Helvetica Neue',        Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color        Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;" >However, it is not wholly obvious what this test might mean. One possibility is that a “type-restating” equivalent for primitive type-test patterns is assignment conversion; e.g. if I have</p>
<div><font face="Default Monospace,Courier New,Courier,monospace" size="2" ><code style="box-sizing: border-box; font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace; padding: 0px; margin: 0px; background-color: transparent; border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px; word-break: normal; border: 0px; display: inline; line-height: inherit; word-wrap: normal;" >case int x:</code></font></div>
<p style="box-sizing: border-box; margin-top: 0px; margin-bottom:        16px; color: rgb(51, 51, 51); font-family: 'Helvetica Neue',        Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color        Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;" >then a target whose static type is <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >byte</code>, <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >short</code>, <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >char</code>, or <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >int</code> – or their boxes – will be statically deemed to match.</p>
<p style="box-sizing: border-box; margin-top: 0px; margin-bottom:        16px; color: rgb(51, 51, 51); font-family: 'Helvetica Neue',        Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color        Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;" >A target whose <em style="box-sizing: border-box;" >dynamic</em> type can be assigned to the primitive type through a combination of unboxing and widening (again, assignment conversion) matches a primitive type test. So if we have:</p>
<div><font face="Default Monospace,Courier New,Courier,monospace" size="2" ><code style="box-sizing: border-box; font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace; padding: 0px; margin: 0px; background-color: transparent; border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px; word-break: normal; border: 0px; display: inline; line-height: inherit; word-wrap: normal;" >switch (o) {<br>    case int i: ...</code></font></div>
<p style="box-sizing: border-box; margin-top: 0px; margin-bottom:        16px; color: rgb(51, 51, 51); font-family: 'Helvetica Neue',        Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color        Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;" >we have to do <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >instanceof</code> tests against {<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >Integer</code>,<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >Short</code>,<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >Character</code>,<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >Boolean</code>} to determine a match.</p>
<p style="box-sizing: border-box; margin-top: 0px; margin-bottom:        16px; color: rgb(51, 51, 51); font-family: 'Helvetica Neue',        Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color        Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;" >A primitive type test pattern dominates other primitive type patterns according to assingment compatibility; <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >int</code> dominates <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >byte</code>/<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >short</code>/<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >char</code>, <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >long</code> dominates <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >int</code>/<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >byte</code>/<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >short</code>/<code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >char</code>, and <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >double</code> dominates <code style="white-space: pre; box-sizing: border-box; font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace; font-size: 13.600000381469727px; padding: 0.2em 0px; margin: 0px; background-color: rgba(0, 0, 0, 0.0392157); border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px;" >float</code>.</p>
<p style="box-sizing: border-box; margin-top: 0px; margin-bottom:        16px; color: rgb(51, 51, 51); font-family: 'Helvetica Neue',        Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color        Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;" >A primitive type test pattern is inapplicable (dead) if cast conversion from the static type of the target fails:</p>
<div><font face="Default Monospace,Courier New,Courier,monospace" size="2" ><code style="box-sizing: border-box; font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace; padding: 0px; margin: 0px; background-color: transparent; border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px; word-break: normal; border: 0px; display: inline; line-height: inherit; word-wrap: normal;" >Map m;<br>switch (m) {<br>    case int x:  // compile error<br>}</code></font></div>
<p style="box-sizing: border-box; margin-top: 0px; margin-bottom:        16px; color: rgb(51, 51, 51); font-family: 'Helvetica Neue',        Helvetica, 'Segoe UI', Arial, freesans, sans-serif, 'Apple Color        Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;" >The dominance interaction between primitive type-tests and reference type-tests for the wrapper types (and their supertypes) seems messy. Consider the following combinations:</p>
<div><font face="Default Monospace,Courier New,Courier,monospace" size="2" ><code style="box-sizing: border-box; font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace; padding: 0px; margin: 0px; background-color: transparent; border-top-left-radius: 3px; border-top-right-radius: 3px; border-bottom-right-radius: 3px; border-bottom-left-radius: 3px; word-break: normal; border: 0px; display: inline; line-height: inherit; word-wrap: normal;" >case int n:<br>case Integer n:  // dead<br><br>case Integer n:<br>case int n:      // not dead -- still matches Short, Byte<br><br>case Byte b:<br>case byte b:     // dead<br><br>case Number n:<br>case int n:      // dead</code></font></div>
<div style="box-sizing: border-box; margin-top: 0px; color:        rgb(51, 51, 51); font-family: 'Helvetica Neue', Helvetica,        'Segoe UI', Arial, freesans, sans-serif, 'Apple Color Emoji',        'Segoe UI Emoji', 'Segoe UI Symbol'; font-size: 16px;        margin-bottom: 0px !important;" >Is there some unifying theory that makes sense here? One possibility is to take a more denotational view: a type is a set of values, so type restatement is really about semantic set inclusion, and dynamic testing is about set membership. Is this adding too much complexity? Do developers really care about this feature?</div></blockquote></blockquote>
<div dir="ltr" > </div></div><BR>