Transparency

[Mark Thornton]

John Nilsson wrote:
> On Tue, Jul 13, 2010 at 10:39 PM, Mark Thornton <mthornton at optrak.co.uk> wrote:
>   
>> Nathan Bryant wrote:
>>     
>>> The problem for both primitives-in-generics and specialization is
>>> they're somewhat hobbled by lack of reification... and it's too late for
>>> reification.
>>>
>>>       
>> I don't think it is too late for reification, but it does seem to be
>> necessary to support both reified and non reified (erased) classes, and
>> possibly classes where some but not all type parameters are reified.
>> Primitive type parameters are unavoidably reified (as far as I can see),
>> so not supporting reification for other types would be peculiar.
>>     
>
> What exactly is it that requires reification to work?
>
> BR,
> John
>   
Simply that you can't erase primitives.

Mark