[emergentcypher]

Which tells us something about the nature of the bugs we will find in our programs.

The type-checker prevents certain classes of bugs, inconsistencies in types, lots of silly typos and mistakes. But it doesn't fix errors in our logic or algorithms. The type-checker doesn't know you should have added instead of multiplied, nor does it fix conversion errors at the borders of our programs where we, say, write a Haskell data structure into a JSON file.

[dllthomas]

"The type-checker doesn't know you should have added instead of multiplied"

Dimensional analysis is a type system that knows exactly that.