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 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 ]