[Martin Odersky <martin.odersky <at> epfl.ch>]
> 
> In fact, the new version of Scala will have support for GADT's which 
> should enable a programming style where type representations can be 
> constructed and passed explicitly. Once this works, we will evaluate 
> whether or not this can adequately replace runtime types.
> 

This is great news! Do you have any info on the Scala implementation
of GADTs? Is there a paper available or anything? I'm not really
convinced that this will eliminate the need for RTTI, but it seems
that you're not either...

Do you have any comments on the paper "GADTs and Object-Oriented
Programming" by Kennedy and Russo? ACM has the paper locked up, but
there's an abstract at http://research.microsoft.com/~akenn/generics/.

Thanks!
Matt

-- 
Matt Hellige                  matt <at> immute.net