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 krona on Monday November 28, 2016 @09:05AM (#13055443)
> The array type seems completely tractable and may be able to be caught by the compiler.

This isn't an error, it was a design decision: https://en.wikipedia.org/wiki/Covariance_and_contravariance_...

You could call it bad design, but fixing it would (imo) just make Java even worse than it already is.

[ Parent | on HN ]
Re:The Unsound Playground: Java and Scala's Type Systems are... by dvt on Monday November 28, 2016 @03:07PM (#13057961)
My point had nothing to do with the merits of covariant types, just tractability. It seems that the array's type is tractable so the compiler should (at least) give a warning.
[ Parent | on HN ]