Re: [Haskell-cafe] QuickCheck Questions

On Mon, Sep 28, 2009 at 4:42 AM, Gwern Branwen wrote:

On Sun, Sep 27, 2009 at 3:19 PM, Yusaku Hashimoto wrote: ...

...

Do you think I wasted times? Have you ever tried PDD? And has it worked? If you have experience with TDD, how do you think about PDD?

If you have any answers in any questions above, please tell me them. Thanks in advance.

Cheers -nwn

Here are some links from my Wikipedia article on QC which tout it:

Thanks for pointers. But I feel curious about in many QC examples (especially RWH's in your pointers), if property is falsifiable, they changes definition of the property, not implementation. And it annoys me because it seemed to almost duplicate its implementation. Am I misunderstanding? Cheers -nwn