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 Anderkent on Thursday July 19, 2018 @09:54AM (#17566245)
> And this is, well, uhm, well... acceptable?

It is not. The only purpose of a type system is to prevent broken code from compiling. When it fails to do so, it is broken.

[ Parent | on HN ]
Re:The Java type system is broken by dtech on Thursday July 19, 2018 @10:13AM (#17566431)
Typescript with its explicitly unsound type system show that a "broken" type system is immensely valuable, especially when you get something in return for that [1]

[1]: https://www.typescriptlang.org/docs/handbook/type-compatibil...

[ Parent | on HN ]
Re:The Java type system is broken by Anderkent on Monday July 23, 2018 @08:46PM (#17597271)
Well, sure, it's better than having an even worse type system! No one's saying java's type system is worse than not having anything.
[ Parent | on HN ]