Re: Updated State of Valhalla documents

2022-01-06 Thread forax
- Original Message - > From: "John Rose" > To: "daniel smith" > Cc: "Remi Forax" , "valhalla-spec-experts" > > Sent: Thursday, January 6, 2022 4:53:28 AM > Subject: Re: Updated State of Valhalla documents >> On Jan 5, 202

Re: Updated State of Valhalla documents

2022-01-05 Thread John Rose
> On Jan 5, 2022, at 4:45 PM, Dan Smith wrote: > > Not talking about the VM. I'm talking about the language model. > >> A primitive (B3) does not provide proper encapsulation unlike a classical >> Java class (the one spelt "class" in the language), > > You should say "object" here, not

Re: Updated State of Valhalla documents

2022-01-05 Thread Dan Smith
> On Jan 5, 2022, at 5:14 PM, fo...@univ-mlv.fr wrote: > >> But: it's really important to understand that, in the proposed model, >> primitive >> values, identity objects, and value objects *all* belong to classes. > > yes, > for the VM, a lambda, a record or an enum are all classes, even if in

Re: Updated State of Valhalla documents

2022-01-05 Thread forax
- Original Message - > From: "daniel smith" > To: "Remi Forax" > Cc: "valhalla-spec-experts" > Sent: Thursday, January 6, 2022 12:37:09 AM > Subject: Re: Updated State of Valhalla documents >> On Dec 23, 2021, at 12:58 PM, fo...@un

Re: Updated State of Valhalla documents

2022-01-05 Thread Dan Smith
> On Dec 23, 2021, at 12:58 PM, fo...@univ-mlv.fr wrote: > > But for Java, i would argue that the model is more > we have either reference objects or primitives, for reference objects you > have those with identity and those without identity, > hence "primitive" being a top-level kind while

Re: [External] : Re: Updated State of Valhalla documents

2021-12-23 Thread forax
> From: "John Rose" > To: "Remi Forax" > Cc: "Brian Goetz" , "valhalla-spec-experts" > > Sent: Thursday, December 23, 2021 8:43:22 PM > Subject: Re: [External] : Re: Updated State of Valhalla documents > On 23 Dec 2021, at 11

Re: [External] : Re: Updated State of Valhalla documents

2021-12-23 Thread John Rose
On 23 Dec 2021, at 11:26, fo...@univ-mlv.fr wrote: For "value", we know that we want value class and value record, so it's more like a modifier. For primitive, do we want a primitive record ? The VM supports it, but do we want to offer that possibility in Java ? My gut feeling is that the

Re: Updated State of Valhalla documents

2021-12-23 Thread forax
> From: "John Rose" > To: "Remi Forax" > Cc: "Brian Goetz" , "valhalla-spec-experts" > > Sent: Thursday, December 23, 2021 7:51:14 PM > Subject: Re: Updated State of Valhalla documents >> On Dec 23, 2021, at 10:35 AM, Remi Forax

Re: Updated State of Valhalla documents

2021-12-23 Thread John Rose
On Dec 23, 2021, at 10:35 AM, Remi Forax wrote:  From: "Brian Goetz" To: "valhalla-spec-experts" Sent: Thursday, December 23, 2021 6:14:43 PM Subject: Updated State of Valhalla documents Just in time for Christmas, the latest State of V

Re: Updated State of Valhalla documents

2021-12-23 Thread Remi Forax
> From: "Brian Goetz" > To: "valhalla-spec-experts" > Sent: Thursday, December 23, 2021 6:14:43 PM > Subject: Updated State of Valhalla documents > Just in time for Christmas, the latest State of Valhalla is available! > [ > https://openjdk.java

Updated State of Valhalla documents

2021-12-23 Thread Brian Goetz
Just in time for Christmas, the latest State of Valhalla is available! https://openjdk.java.net/projects/valhalla/design-notes/state-of-valhalla/01-background https://openjdk.java.net/projects/valhalla/design-notes/state-of-valhalla/02-object-model