The Unsound Playground: Java and Scala's Type Systems are Unsound

Re:The Unsound Playground: Java and Scala's Type Systems are... by kuschku on Sunday November 27, 2016 @06:26PM (#13052268)

Ehm, no?

You can’t pass Dog[] where Animal[] is expected, it’s one of the more interesting properties of the Array, because its the only case where that doesn’t work.

For the exact reason you mentioned.

[ Parent | on HN ]

Re:The Unsound Playground: Java and Scala's Type Systems are... by pvg on Sunday November 27, 2016 @08:45PM (#13052857)

Try it. http://ideone.com/hJa0yf

[ Parent | on HN ]

Re:The Unsound Playground: Java and Scala's Type Systems are... by aioprisan on Monday November 28, 2016 @02:30AM (#13053977)

Looks like you missed the gist of the post, then. Code it up, you'll see it in action very clearly.

[ Parent | on HN ]

Re:The Unsound Playground: Java and Scala's Type Systems are... by AnimalMuppet on Monday November 28, 2016 @01:13PM (#13057244)

I believe you missed the GP's point. It's not that "you can't because the language stops you", it's that "you can't because it doesn't work".

That is, you're agreeing, not disagreeing.

[ Parent | on HN ]