I am *another* language, a bit closer to home. I'm perfectly at home on the Java platform and also use declaration site variance (a simple trick for me, thanks to the much-derided type erasure on the JVM).
I was written by the same guy as wrote the current generation of javac and who created Java's generics (though not the wildcards, as he'd be keen to point out) I lack many of Java's difficult corner cases, especially in the type system; yet oddly I take a lot of undue criticism for being (allegedly) complicated. What am I? On Nov 11, 2011 7:12 AM, "gafter" <[email protected]> wrote: > On Oct 11, 12:31 am, "Fabrizio Giudici" > <[email protected]> wrote: > > Can somebody please explain me whether is it possible to have covariant > > generics *without* all the corner cases that are often bashed in Java? > > Yes, it is possible. See C#. It has "declaration site" variance. In > C# you put "out" on the type parameter in your interface instead of > Java's "? extends" where your interface is used. > > -- > You received this message because you are subscribed to the Google Groups > "The Java Posse" group. > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/javaposse?hl=en. > > -- You received this message because you are subscribed to the Google Groups "The Java Posse" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/javaposse?hl=en.
