John Nilsson john at
Tue Jul 13 13:59:23 PDT 2010

On Tue, Jul 13, 2010 at 10:39 PM, Mark Thornton <mthornton at> 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?


More information about the lambda-dev mailing list