Pat Farrell wrote:On the more general topic: what is wrong with Generics, their design and implementation?
1. People expect too much of it.
2. The compiler warnings are crap.
If you actually read Gilad Bracha's paper (now, thankfully, translated to the tutorials), he explains the issues with implementation, which basically boils down to the fact that, for whatever reasons, Java was NOT able to make typed classes first-class objects, so they chose the next best option that was backwards bytecode-compatible: type erasure.
Isn't it funny how there's always time and money enough to do it WRONG?