[Haskell-cafe] HSpec vs Doctest for TDD
fa-ml at ariis.it
Wed Jun 25 15:24:31 UTC 2014
On Wed, Jun 25, 2014 at 02:45:37PM +0200, Mateusz Kowalczyk wrote:
> While I disagree with initial view that testing is useless, I certainly
> disagree with this approach too. There are plenty proof-assistants using
> type-checking to prove programs correct. That's not to say Haskell
> itself is suited for such task. If you have a type system strong enough,
> classical tests are no longer required because you can encode all the
> properties you need in types proving at compile time that your program
> is in fact correct.
For non-believers, here is a blog post that opened my eyes on the matter .
More information about the Haskell-Cafe