On 11/25/21 08:27, Justin Dekeyser wrote:
Quick question, out of curiosity: how would it behave with respect to inheritance? Can a @Immutable class inherit from an non immutable one?
And: does @Immutable mean deeply immutable? IMO it really should, but that's harder to check, and we'd have to think about what this means for binary compatibility. On 11/25/21 08:39, Alberto Otero Rodríguez wrote: > I have not thought about that. I'm not a Java expert. > > I just throwed the idea precisely to avoid "fake immutability", because a programmer could think one record is immutable simply by being a record, while this is false. > > There are probably lots of problems that need to be taken in consideration (like inheritance). But I just throw the idea because I think it would be a desirable feature. > > I would be grateful if some expert could deepen in possible problems and their solutions. Everything is always harder than it looks at first. -- Andrew Haley (he/him) Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> https://keybase.io/andrewhaley EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671