Gary Whatmore: > I forgot Scala. They say Scala can @specialize without type erasure and it > has variance polymorphism. What are these? Sounds as if Scala is getting > closer to C++/D (instantiation and link-time optimization) and we need to > fight back to make our language more expressive.
It's never a "fight". I think Scala type system is a bit too much complex for the average programmer (but I may be wrong, I've seen some people use Scala in almost normal situations), so I don't think D and Scala are true competitors. On the other hand there are type system features that are absent in Scala that now I think may be more useful than the Scala ones :-) Bye, bearophile