Updated Draft specs for JEP 359 (Records)

Remi Forax forax at univ-mlv.fr
Thu Oct 31 16:24:48 UTC 2019


> De: "Gavin Bierman" <gavin.bierman at oracle.com>
> À: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>, "amber-dev"
> <amber-dev at openjdk.java.net>
> Envoyé: Jeudi 31 Octobre 2019 15:17:34
> Objet: Updated Draft specs for JEP 359 (Records)

> An updated draft language spec for JEP 359 (Records) is available at:

> [
> http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jls.html
> |
> http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jls.html
> ]

> (Alongside is a draft JVM spec for this feature:

> [
> http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jvms.html
> |
> http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191031/specs/records-jvms.html
> ]

> )

I've read the JVMS draft, it's ok for me. 
I still think that not supporting @Deprecated on a record component is a mistake. 

Both Scala [1] and C# support deprecating ""property"", so we know that there is a need. 
And let's not forget that at some point in the future, Scala or Kotlin may want to retrofit their case class/data class to record when possible to have a better Java integration. 

> As always, please email me any comments/thoughts/bugs.

regards, 
Rémi 

> Thanks,
> Gavin

[1] https://stackoverflow.com/questions/49385374/is-actually-possible-to-deprecate-scala-case-class-fields 

>> On 23 Aug 2019, at 22:25, Gavin Bierman < [ mailto:gavin.bierman at oracle.com |
>> gavin.bierman at oracle.com ] > wrote:

>> A draft language spec for records is available at:

>> [
>> http://cr.openjdk.java.net/~gbierman/8222777/8222777-20190823/specs/records-jls.html
>> |
>> http://cr.openjdk.java.net/~gbierman/8222777/8222777-20190823/specs/records-jls.html
>> ]

>> This spec doesn’t yet discuss varargs records - to appear in the next draft.

>> All comments welcomed!

>> Thanks,
>> Gavin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20191031/0e79ae16/attachment-0001.html>


More information about the amber-spec-experts mailing list