[sealed] Draft Language Spec available
gavin.bierman at oracle.com
gavin.bierman at oracle.com
Tue Mar 3 08:14:19 UTC 2020
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
More information about the amber-spec-experts
mailing list