<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div><br></div><div><br></div><hr id="zwchr" data-marker="__DIVIDER__"><div data-marker="__HEADERS__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><b>De: </b>"Kevin Bourrillion" <kevinb@google.com><br><b>À: </b>"Remi Forax" <forax@univ-mlv.fr><br><b>Cc: </b>"amber-spec-experts" <amber-spec-experts@openjdk.java.net><br><b>Envoyé: </b>Vendredi 12 Avril 2019 20:17:12<br><b>Objet: </b>Re: records are dead long live to ...<br></blockquote></div><div data-marker="__QUOTED_TEXT__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><div dir="ltr"><div dir="ltr">On Fri, Apr 12, 2019 at 12:34 AM Remi Forax <<a href="mailto:forax@univ-mlv.fr" target="_blank">forax@univ-mlv.fr</a>> wrote:<br></div><div dir="ltr"><br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">At the end of section "Why not "just" do tuples ?", you have this gem,<br>
"A good starting point for thinking about records is that they are nominal tuples."<br></blockquote><br><div>That is *a* starting point, but I think a barely useful one. Records have semantics, which makes them *worlds* different from tuples. Methods, supertypes, validation, specification... I think it's fair to say that all a record <i>holds</i> is a "tuple", but it's so much more. Record is to tuple as enum is to int.</div></div></div></blockquote><div><br></div><div>Hi Kevin,</div><div>I find interesting the example you have chosen, because you can interpret it as enum in C vs enum in Java, enum in C have no method, no supertype, etc but we still have kept the name "enum" for the equivalent in Java.</div><div>In my opinion, the feature we have is more similar to a named tuple than a record, i fully agree that it's a named tuple on steroid, but as i said it's not dissimilar to the relation between an enum in C and an enum in Java.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>Rémi</div><div><br data-mce-bogus="1"></div></div></div></body></html>