> And of course passing type checking is no guarantee of correctness. No, it's not. It's a guarantee that it should at least compile, though. That is, it mea

> And of course passing type checking is no guarantee of correctness. No, it's not. It's a guarantee that it should at least compile, though. That is, it means certain kinds of incorrectness are ruled out.