<ping> >> De: "Gavin Bierman" <[email protected]> >> À: "amber-spec-experts" <[email protected]>, "amber-dev" >> <[email protected]> >> 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
