Personal tools

Blog articles/Testing

From HaskellWiki

< Blog articles(Difference between revisions)
Jump to: navigation, search
(Added a link to "Code testing in Haskell"; updated the link for "QuickChecking a window manager")
(Other: Added a link to "Up-front Unit Testing in Haskell")
Line 35: Line 35:
 
=== Other ===
 
=== Other ===
   
  +
* [https://github.com/kazu-yamamoto/unit-test-example/blob/master/markdown/en/tutorial.md Up-front Unit Testing in Haskell], this article is a tutorial about unit testing in Haskell using doctest, hspec and Cabal.
 
* [http://ics.p.lodz.pl/~stolarek/blog/2012/10/code-testing-in-haskell/ Code testing in Haskell]
 
* [http://ics.p.lodz.pl/~stolarek/blog/2012/10/code-testing-in-haskell/ Code testing in Haskell]
 
   
 
== Proofs ==
 
== Proofs ==

Revision as of 22:12, 21 January 2013

Contents

1 Type system enforcement


2 Testing, correctness and proofs

2.1 QuickCheck


2.2 HUnit


2.3 Catch


2.4 Other

3 Proofs

3.1 GADTs


3.2 Coq


3.3 Isabelle


3.4 Related work


4 Further reading