Getters vs. public final fields in records
Andrew Cave
ajcave at google.com
Wed Aug 10 17:42:20 UTC 2022
>
> These issues were well considered during the design already, and
> these questions are not new. As mentioned, we did explicitly consider
> public fields, and concluded that would be a bad idea.
>
Thanks for your response; before I respond to the rest, are these
discussions recorded somewhere I can read?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20220810/4f97fa34/attachment-0001.htm>
More information about the amber-dev
mailing list