Transparency
John Nilsson
john at milsson.nu
Tue Jul 13 13:59:23 PDT 2010
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
More information about the lambda-dev
mailing list