Nullness markers to enable flattening

[forax at univ-mlv.fr]

> From: "Brian Goetz" <brian.goetz at oracle.com>
> To: "Remi Forax" <forax at univ-mlv.fr>
> Cc: "Kevin Bourrillion" <kevinb at google.com>, "daniel smith"
> <daniel.smith at oracle.com>, "valhalla-spec-experts"
> <valhalla-spec-experts at openjdk.java.net>
> Sent: Wednesday, February 8, 2023 10:37:31 PM
> Subject: Re: Nullness markers to enable flattening

>> 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.

> And you forgot "unifying primitives with objects".
This is the goal i'm still not able to wrap my head around so i pretend it does not exist :) 

I wonder if will never be able to truly achieve it, but come close. 
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. 

Rémi 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/valhalla-spec-observers/attachments/20230208/9f383b2d/attachment.htm>