EG meeting, 2022-08-10

[Dan Smith]

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

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