Most definitely, I think use-site variance just gets more convoluted the more you need to use it. I brief tour through the source code of google-collections should make that abundantly clear.
Scala's type system *has* come under fire for its ability to express some very complex ideas, but if users of the collections library never again have to write <? super X, ? extends Y>, then I think it's a Good Thing(tm) Plus, we get to brag about having higher-kinded types. Take *that* C# and f#, with your type-unsafe LINQ queries! On 7 August 2010 07:40, JodaStephen <[email protected]> wrote: > BTW, as a parallel to this Scala discussion, consider generics in > Java. I will argue that the total number of people that *fully* > understand generics, to the point at which they can explain every > aspect of syntax they see, write any valid API and never have to > consult the FAQ > http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html > is vanishingly small. Very limited "enlightenment". > For example, even yesterday I encountered a problem where the compiler > in Eclipse compiled something and javac rejected it. And frankly, many > of my API writing sessions end up as trial and error. > > Stephen > PS. I know Scala does generics differently...no need to repeat that > fact... > > > On Aug 6, 11:50 pm, Wildam Martin <[email protected]> wrote: > > On Sat, Aug 7, 2010 at 00:09, Kevin Wright <[email protected]> > wrote: > > > Unlike certain religions/cults, there's no limit on how many are > > > allowed to be enlightened here :) > > > > The limit is the level of intelligence required to master the > > language. If only the 10 smartest people in the world are intelligent > > enough to master it, "enlightment" is limited to those. ;-) > > > > -- > > Martin Wildamhttp://www.google.com/profiles/mwildam > > -- > 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]<javaposse%[email protected]> > . > For more options, visit this group at > http://groups.google.com/group/javaposse?hl=en. > > -- Kevin Wright mail/google talk: [email protected] wave: [email protected] skype: kev.lee.wright twitter: @thecoda -- 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.
