> From: "Brian Goetz" <[email protected]> > To: "Remi Forax" <[email protected]> > Cc: "Kevin Bourrillion" <[email protected]>, "daniel smith" > <[email protected]>, "valhalla-spec-experts" > <[email protected]> > 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
