Nah I think I'd just prefer to figure out the types in type-checking phase, then erase and get on with things. I don't buy that most polymorphism is dynamic.

Nah I think I'd just prefer to figure out the types in type-checking phase, then erase and get on with things. I don't buy that most polymorphism is dynamic. No example of 'new T()' (which wouldn't be improved by static typing was given) so I got nothing else to say.