Duplicate :
|
We propose to add covariant and contravariant type parameters to the generics type system, as described and implemented in the JSR14 prototype 2.0 http://developer.java.sun.com/developer/earlyAccess/adding_generics/index.html and as described on the Variance Generic Java home page http://www.daimi.au.dk/~plesner/variance/ This closes the last known remaining hole in the generic type system and adds significantly to the expressive power of generics. ###@###.### 2003-05-28
|