undefined | Better HN

0 pointssamth11y ago0 comments

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

0 comments

tomp11y 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

0 pointssamth11y ago0 comments

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

tomp11y 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