>.NET actually gets generics right, it's not done through erasure but actual correct type bindings.

Type erasure is one of the main reasons why there are so many different languages available on the JVM. It's also why there isn't a need for another runtime to run on top on the existing runtime just to support dynamic languages.