[sealed] Draft Language Spec available

[gavin.bierman at oracle.com]

Thanks Tagir. I’ll take a look.

Gavin

Sent from my iPad

> On 2 Mar 2020, at 05:01, Tagir Valeev <amaembo at gmail.com> wrote:
> 
> 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