Re: seeking lore of the QuickCheck masters
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
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
participants (2)
-
John Hughes -
Lauri Alanko