undefined | Better HN

0 pointstomp11y ago0 comments

How does a type system introduce mistakes? Unless it's unsound, of course (as is Java's and Dart's).

0 comments

2 comments · 1 top-level

samth11y ago· 1 in thread

Java's type system is sound. There are even machine-verified proofs of this.

tompOP11y ago

Oops, you're right. I thought you could override methods with more specific argument types, but it appears I was wrong.

j / k navigate · click thread line to collapse