[tomp]

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

[samth]

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

[tomp]

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