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 zigzigzag on Sunday November 27, 2016 @06:05PM (#13052161)
You can observe it on the JVM when you realise you can't overload a function with arguments that differ only in generic type.
[ Parent | on HN ]
Re:The Unsound Playground: Java and Scala's Type Systems are... by wtetzner on Monday November 28, 2016 @11:11AM (#13056285)
Yes, my point was that there's nothing inherently wrong with type erasure. You can of course create conditions that would be problematic, like the design of Java and JVM does.
[ Parent | on HN ]