[sealed] Draft Language Spec available

[Tagir Valeev]

I see that you added a note to "15.27.3 Type of a Lambda Expression",
but a similar note is missing in "15.13.2 Type of a Method Reference".
I think both should be unnecessary if you just restrict the
"functional interface" definition instead.

With best regards,
Tagir Valeev


On Mon, Mar 2, 2020 at 11:57 AM Tagir Valeev <amaembo at gmail.com> wrote:
>
> 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