News for hackers. Stuff that matters.

A comment on The Unsound Playground: Java and Scala's Type Systems are Unsound. Parent comment

Re:The Unsound Playground: Java and Scala's Type Systems are... by STRML on Sunday November 27, 2016 @09:11PM (#13052944)
Which is precisely the idea of covariant getters / contravariant setters in some sounder languages.
[ Parent | on HN ]
Re:The Unsound Playground: Java and Scala's Type Systems are... by Kreeg on Monday November 28, 2016 @06:36AM (#13054789)
IIRC, Scala has covariant/contravariant generics

(apologies for the bad terminology, I'm not too familiar with the details)

[ Parent | on HN ]
Re:The Unsound Playground: Java and Scala's Type Systems are... by Groxx on Wednesday November 30, 2016 @12:28AM (#13068695)
support for "<? extends X>" and "<? super X>" is supporting covariant / contravariant. invariant would be "<x>".

basically. the same concept applies in a number of areas, with varying support (e.g. Java doesn't support contravariance in its method overloading: http://stackoverflow.com/a/2501513/16295 )

[ Parent | on HN ]