[Haskell-cafe] Testing polymorphic properties with QuickCheck

Stuart Hungerford stuart.hungerford at gmail.com
Wed Feb 18 21:50:18 UTC 2015

On Thu, Feb 19, 2015 at 8:04 AM, Mike Izbicki <mike at izbicki.me> wrote:

> I agree that this is a huge pain.  I've been working on an alternative
> numeric hierarchy, and as part of that I've wanted a completely
> automated test suite.  What I've done is use template haskell to write
> boilerplate code for me.  Currently, I am verifying around 1000
> quickcheck properties, all of which are automatically generated.  I
> suspect that by the time I finish the final number of properties will
> be between 10000-100000, so full automation for this is a must!
> Here's a file-by-file breakdown of how it works:

Many thanks for this excellent introduction--I'll check this approach
(and the heirarchy) out.


More information about the Haskell-Cafe mailing list