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.
"Leadership is nature's way of removing morons from the productive flow" - Dogbert
Articles by Winston can be found here