[Haskell-cafe] QuickCheck Questions
emax at chalmers.se
Mon Sep 28 15:26:20 EDT 2009
Pasqualino "Titto" Assini skrev:
> 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.)
More information about the Haskell-Cafe