[Haskell-cafe] HSpec vs Doctest for TDD

Francesco Ariis 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 [1].

[1] http://lambda.jstolarek.com/2013/12/data-is-evidence/

More information about the Haskell-Cafe mailing list