seeking lore of the QuickCheck masters

Lauri Alanko
Tue, 29 Apr 2003 10:39:02 +0300

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