Having made the same switch from Python to Haskell I agree. However, I just wanted to temper your claim that "almost all of the errors" could be prevented by t

Having made the same switch from Python to Haskell I agree. However, I just wanted to temper your claim that "almost all of the errors" could be prevented by type systems. I think it's hard to measure errors in any way such that "almost all" is a valid claim, but "very many" certainly is!