[Haskell-cafe] QuickCheck Questions

Emil Axelsson emax at chalmers.se
Mon Sep 28 15:26:20 EDT 2009

Pasqualino "Titto" Assini skrev:
> Fantastic.
> If I understand correctly it inductively derives equations that hold
> for a set of examples.

AFAIU, it enumerates a set of terms and uses random testing to 
approximate an equivalence relation for these. The real trick, 
apparently, is in filtering out the interesting equations.

> I am looking forward to see it in Haskell, who is working on the port?

John Hughes, Koen Claessen and Nick Smallbone. (At least.)

/ Emil

More information about the Haskell-Cafe mailing list