EG meeting, 2022-09-07

[Dan Smith]

EG Zoom meeting September 7 at 4pm UTC (9am PDT, 12pm EDT).

Recent topics that may merit further discussion:

"What have we lost?": Rémi raised concerns about some use cases in which a value-by-default approach to the class name would be better than a reference-by-default approach

"JLS updates": I posted a (minor) update to the JLS & JVMS change documents

And here's this from a few weeks ago, if anybody would like to spend more time on any of these older threads:

> Lots of recent threads that could be further discussed:
> 
> - "Question about universal type variables": Kevin started a discussion about how type variable types should be modeled, and what changes when they become universal
> 
> - "Updated SoV, take 3": Brian revised the State of Valhalla document to reflect recent design ideas
> 
> - "object sameness, Lebniz's Law, ...": John elaborated on SoV review comments regarding value object equality/substitutability
> 
> - "The storage hint model": Remi shared thoughts about using a storage attribute, rather than a value type, to encode flatness
> 
> - "The problem with encapsulating C.val + autoboxing": Remi discussed the treatment of access-restricted value types in generics
> 
> - "where are all the objects?": John and Kevin discussed usages of the terms "object" and "instance"
> 
> - "one class, two types, many bikesheds": John discussed how we model classes vs. types, the relationship of ref and val types, and how syntax like .ref and .val might be used
> 
> - "Value type companions, encapsulated": John shared a document describing how access restrictions could be enforced on value types
> 
> - "races on flat values": John discussed how the memory model needs to be updated to describe concurrent accesses of flat variables