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.
Bats fly at night, 'cause they aren't we. And if we tried, we'd hit a tree -- Ogden Nash (or should've been).
Articles by Winston can be found here