Function types versus arrays

[Rémi Forax]

Le 09/02/2010 01:09, Neal Gafter a écrit :
> On Mon, Feb 8, 2010 at 4:05 PM, Rémi Forax<forax at univ-mlv.fr>  wrote:
>    
>> Le 09/02/2010 00:40, Neal Gafter a écrit :
>>      
>>> On Mon, Feb 8, 2010 at 2:47 PM, Joshua Bloch<jjb at google.com>    wrote:
>>>        
>>>> I just assumed that we'd do whatever it takes to make this works, up to and
>>>> including VM changes.
>>>>
>>>>          
>>> I'd love to hear ideas about how to make it work.  The only way I know
>>> to make it work would be to reify generics.  Other than that, and
>>> absent any well founded ideas, there isn't anything to do.
>>>        
>> Or choose to use method handles :)
>>
>> In that case, the rules are the same as the ones for generics.
>> The common supertype of all function types is java.dyn.MethodHandle
>> - you can't create an array of function types
>>      
> In other words, make it work by not making it work?  I don't get it.
> You're joking?
>    

Yes and No :)
I propose to allow array of function type but not to be able
to create it, exactly like array of non reified parameterized type.

Rémi