<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><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>From: </b>"Brian Goetz" <brian.goetz@oracle.com><br><b>To: </b>"Remi Forax" <forax@univ-mlv.fr><br><b>Cc: </b>"Kevin Bourrillion" <kevinb@google.com>, "daniel smith" <daniel.smith@oracle.com>, "valhalla-spec-experts" <valhalla-spec-experts@openjdk.java.net><br><b>Sent: </b>Wednesday, February 8, 2023 10:37:31 PM<br><b>Subject: </b>Re: Nullness markers to enable flattening<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>
<blockquote cite="mid:1422866679.15450393.1675892138444.JavaMail.zimbra@u-pem.fr">
<div style="font-family: arial, helvetica, sans-serif; font-size:
12pt; color: #000000">
<div>
<div>I would say, Valhalla has two objectives, providing a
more compact memory representation aka B3 is one, having a
better escape analysis aka B2 is another.<br>
</div>
</div>
</div>
</blockquote>
<br>
And you forgot "unifying primitives with objects".</blockquote><div><br></div><div>This is the goal i'm still not able to wrap my head around so i pretend it does not exist :)<br></div><div><br data-mce-bogus="1"></div><div>I wonder if will never be able to truly achieve it, but come close.</div><div>We have unified primitive wrappers with objects (so == works on Integer) and we can do a little more by adding syntactic sugar around primitives, like auto-boxing int to Integer! when a method is called on it or inside angle brackets of generics.<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></div></div></body></html>