Getters vs. public final fields in records

[Andrew Cave]

>
>       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>