The Next Big Language

[bearophile]

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