records are dead long live to ...

Remi Forax forax at univ-mlv.fr
Fri Apr 12 07:33:19 UTC 2019


I've re-read the current state of the record (ex datum)
  http://cr.openjdk.java.net/~briangoetz/amber/datum.html
trying to explain to myself how it works.

At the end of section "Why not "just" do tuples ?", you have this gem,
"A good starting point for thinking about records is that they are nominal tuples."

I believe that since we are exploring the fact that record are immutable, the name "record" doesn't suit well to the feature anymore.
I propose to rename it as tuple given that this is what this feature is, named tuples.

You will say, but they are not "real" tuples, i.e. they are not structural type, yes, they are not "real" tuple the same way Java lambdas are not "real" lambdas, they are the Java flavor of named tuples.

You may think this bikeshedding on the name and it's not important, but i think it will help us to shape this feature the right way.

Rémi


More information about the amber-spec-experts mailing list