<div dir="ltr"><div dir="ltr">On Wed, Jul 13, 2022 at 1:24 PM John Rose <<a href="mailto:john.r.rose@oracle.com" target="_blank">john.r.rose@oracle.com</a>> wrote:</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div style="font-family:sans-serif"><div style="white-space:normal">
<ul><li>...</li>
<li><code style="margin:0px;padding:0px 0.4em;border-radius:3px;background-color:rgb(247,247,247)">Object::getClass</code> returns a predictable ref-mirror (I always wanted that)</li></ul></div></div></div></blockquote><div>(aside: Yes, although in the case of `Foo.val value = ...; value.getClass()`, I'll still claim it shouldn't compile or should at least throw, so the user will write whichever of `Foo.class` or `Foo.val.class` they actually want. </div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div style="font-family:sans-serif"><div style="white-space:normal">
<p dir="auto">The surprising outcome of this is we now have (by my count) five buckets. </p></div></div></div></blockquote><div>Sounds alarming, but mostly we just have to ensure that the individual levers ("value", "non-atomic", visibility) are fully understandable individually and orthogonally, with their combinations acting as expected from that understanding. So long as we achieve that, the tallied up number (5 or 7 or...) doesn't matter as much.</div></div><div><br></div>-- <br><div dir="ltr"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div style="line-height:1.5em;padding-top:10px;margin-top:10px;color:rgb(85,85,85);font-family:sans-serif"><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(213,15,37);padding-top:2px;margin-top:2px">Kevin Bourrillion |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(51,105,232);padding-top:2px;margin-top:2px"> Java Librarian |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(0,153,57);padding-top:2px;margin-top:2px"> Google, Inc. |</span><span style="border-width:2px 0px 0px;border-style:solid;border-color:rgb(238,178,17);padding-top:2px;margin-top:2px"> <a href="mailto:kevinb@google.com" target="_blank">kevinb@google.com</a></span></div></div></div></div></div></div></div></div>