Function types versus arrays

[Rémi Forax]

Le 12/02/2010 17:33, Neal Gafter a écrit :
> On Fri, Feb 12, 2010 at 1:00 AM, Rémi Forax<forax at univ-mlv.fr>  wrote:
>    
>>> Given that there is no way to create a value of such a type (or a
>>> value of a subtype of such a type), other than null, what value is
>>> there in allowing it?  Why would you commit yourself now to that
>>> position for future revisions of the spec?
>>>
>>>        
>> Not true.
>> java.dyn.MethodHandle can be that type.
>>      
> MethodHandle can be a subtype of every function type?  I think you
> mean supertype, not subtype?
>    

Yes, MethodHandle is a supertype of all function type.

Rémi