Re: [Haskell-cafe] Type System vs Test Driven Development

Haskell's type system makes large classes of traditional "unit tests" irrelevant. Here are some examples: - Tests that simply "run" code to make sure there are no syntax errors or typos, - Tests that exercise simple input validation that is handled by the type system, i.e. passing an integer to a function when it expects a string, But, as many other people have mentioned, that doesn't nearly cover all unit tests (although when I look at some people's unit tests, one might think this was the case.) Cheers, Edward