Re: [Haskell-cafe] QuickCheck Questions

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