Haskell's type system most definitely does catch some of your logical errors. That's exactly why it is so revered. An effective use of a type system such as Ha

Haskell's type system most definitely does catch some of your logical errors. That's exactly why it is so revered. An effective use of a type system such as Haskell's Hindley-Milner can result in a vastly smaller surface area for possible problems and thus can cut a big number of otherwise mandatory unit tests off your todo list.