records are dead long live to ...
Brian Goetz
brian.goetz at oracle.com
Fri Apr 12 17:08:28 UTC 2019
> The very same issue exist with the keyword 'record', these are not real records because there are immutable and record are clearly not:)
I was hoping you would resist trying to make this argument, because it
is superficially true in a qualitative way, but in a quantitative way,
is in such a totally different world than the story with tuples.
Developers who think they understand what tuples are have a very, very
clear idea of what they would expect tuples to be in Java.
There is no single model of what "records" are, and so arguments "these
are not records" are really "these are not the (one of fifty possible
notions of records I had in mind.)" And the set of developers that have
a preconceived notion of what "records" should be in Java is at least
100x smaller than for tuples.
Nice try :)
More information about the amber-spec-experts
mailing list