Records -- current status

Brian Goetz brian.goetz at
Tue Mar 20 14:15:03 UTC 2018

> So add all this up and we have /three/ kind of finalness for fields:
> - by default mutable, but you can change it
> - by default final, and you can't change it
> - (and now) by default final, but you can change it
> This seems like quite a bad situation to me.

I think what you are really saying here is: if you want immutable 
records, wait for value records, don't try to cram them in early? Then a 
record inherits the finality of the class kind that it is describing.  
And same with field accessibility.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the amber-spec-experts mailing list