Function types versus arrays

[Neal Gafter]

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?