I have seen this "type errors are infrequent" argument many times and I think it stems from a confusion about what a type error is. Many programmers who are on

I have seen this "type errors are infrequent" argument many times and I think it stems from a confusion about what a type error is. Many programmers who are only used to dynamic languages think it means something like the following in Java: "String foo = 5;". But when you start learning something like Haskell you start noticing that many of the things you took for granted as "problems that just happen when you do programming" can actually be found at compile time and they will start frustrating you every time you see them.