[sealed] Draft Language Spec available
Tagir Valeev
amaembo at gmail.com
Mon Mar 2 04:57:47 UTC 2020
Hello!
Shouldn't we update a section 9.8 Functional Interfaces? E.g.:
A functional interface is an interface that [is not declared as sealed
and] has just one abstract method (aside from the methods of Object),
and thus represents a single function contract.
This will also imply that the @FunctionalInterface annotation cannot
be applicable to sealed interfaces (9.6.4.9).
With best regards,
Tagir Valeev.
On Fri, Feb 28, 2020 at 7:25 PM Gavin Bierman <gavin.bierman at oracle.com> wrote:
>
> The next draft language spec for JEP 360 (Sealed Types) is available at:
>
> http://cr.openjdk.java.net/~gbierman/jep360/latest/
>
> This version reflects the changes to the type system I mentioned [1], along with a number of other changes. We’d appreciate further comments on this in particular (along with anything else).
>
> Thanks,
> Gavin
>
> [1] https://mail.openjdk.java.net/pipermail/amber-spec-experts/2020-February/002018.html
More information about the amber-spec-experts
mailing list