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
