Re: Re: [scala] pattern matching with type parameters

On Fri, May 29, 2009 at 4:32 PM, Alex Boisvert <boisvert@...> wrote:
> On Thu, May 28, 2009 at 8:34 PM, Jorge Ortiz <jorge.ortiz@...> wrote:
>>
>> This is equivalent to reifying types on the JVM.
>
> Maybe close but I'm not suggesting we go and fix Java.   Only Scala types
> would contain full type information.
>
>>
>> It's hard to overstate the magnitude of this change. Let's just say ...
>> it's not trivial.
>>
>> I'd rather see selective reification, along the lines of how you can
>> selectively annotate types with @specialized.
>
> Selective reification because it's simpler?  And if so, in what way?
>
> Or because you wouldn't want to burden every object with full type
> information?

I'm not sure if Michel still reads this list, he could give more
information on this. His PhD thesis is (also) about Scala runtime type
information:

http://library.epfl.ch/en/theses/?nr=3302

At the time it seemed too slow to be included in Scala by default.