seeking lore of the QuickCheck masters

John Hughes rjmh@cs.chalmers.se
Tue, 29 Apr 2003 14:36:32 +0200 (MEST)


On Tue, 29 Apr 2003, Lauri Alanko wrote:

> On Tue, Apr 15, 2003 at 11:40:25AM +0100, Malcolm Wallace wrote:
> > You want a generator that can produce an arbitrary code fragment,
> > *given* what type you want it to have.  So first, generate an arbitrary
> > type, then generate an arbitrary expression for it.
>
> "Generate an arbitrary proposition, then generate an arbitrary proof for
> it." Boy, it's _that_ simple? :)
>
>
> Lauri Alanko
> la@iki.fi

Given you have an unsound logic (e.g. constants of all base types) it's
not too hard... :)

john