mthornton at optrak.co.uk
Tue Jul 13 14:01:13 PDT 2010
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
>> 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?
Simply that you can't erase primitives.
More information about the lambda-dev