5 ms·How does a type system introduce mistakes? Unless it's unsound, of course (as is Java's and Dart's).by tomp 12y agoHow does a type system introduce mistakes? Unless it's unsound, of course (as is Java's and Dart's).samth 12y agoJava's type system is sound. There are even machine-verified proofs of this.tomp 12y agoOops, you're right. I thought you could override methods with more specific argument types, but it appears I was wrong.