> Adding a type system to an incorrect program doesn't make it correct (unless you refactor it).
Of course not, but the compiler will tell you that the program is incorrect since it can deduce it.
Of course not, but the compiler will tell you that the program is incorrect since it can deduce it.
Your argument was "type systems make your programs correct", I still disagree with that.
I think the distinction is important enough.
Please see this diagram