« Return to Thread: Re: [scala] pattern matching with type parameters

Re: [scala] pattern matching with type parameters

by Alex Boisvert-3 :: Rate this Message:

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?

alex

« Return to Thread: Re: [scala] pattern matching with type parameters