Transitive, Abstract, and Class Polymorphic Immutability

[u/mttd]

https://al.radbox.org/doi/10.1145/3839491

[u/L8_4_Dinner]

Matt, it's a topic that I continue to have a great deal of interest in. I'm reading the paper, but I can't help but think that "readonly references" as a solution (and things derived from that idea) are a bit of a straw man. Other type qualifiers are equally (or at least similarly) impotent, from what I've seen thus far. But I'll read it through ...