closures after all?

[Joseph D. Darcy]

Rémi Forax wrote:
> Le 19/11/2009 00:20, Artur Biesiadowski a écrit :
>   
>> Rémi Forax wrote:
>>    
>>     
>>> In my opinion the only flaw of this new proposal is that function types
>>> are not reified.
>>> So expect warning on cast and no way to do an instanceof on a function type.
>>>
>>>
>>>      
>>>       
>> Does it also mean no primitives as arguments or return values? How it
>> will work with closure-as-single-method-interface-implementation trick?
>>
>> Regards,
>> Artur Biesiadowski
>>
>>    
>>     
>
> No, you can use primitive types where you want but because
> the interface corresponding to the function type is always parametrized
> by an exception type, it's not a refied type.
>
> cheers,
> Rémi
>   

The work Mark announced is preliminary; no doubt many further details 
will be available in the near future so I think analysis of the proposal 
should be deferred until there is more of a proposal to analyze :-)

-Joe