News for hackers. Stuff that matters.

A comment on The Java type system is broken. Parent comment

Re:The Java type system is broken by kochthesecond on Thursday July 19, 2018 @10:10AM (#17566391)
I was about to say this. Most type systems in practical use are not mathematically sound.
[ Parent | on HN ]
Re:The Java type system is broken by ionforce on Thursday July 19, 2018 @05:42PM (#17570560)
Is there a way to understand this tradeoff in a principled way?
[ Parent | on HN ]