[Haskell-cafe] QuickCheck Questions
Pasqualino "Titto" Assini
tittoassini at gmail.com
Mon Sep 28 12:56:31 EDT 2009
If I understand correctly it inductively derives equations that hold
for a set of examples.
I am looking forward to see it in Haskell, who is working on the port?
2009/9/28 Emil Axelsson <emax at chalmers.se>:
> Not sure this is what you want, but I thought I'd mention "Formal
> Specifications for Free":
> (I wasn't able to find a better link. That talk is for Erlang, but people
> are working on this for Haskell QuickCheck.)
> / Emil
> Yusaku Hashimoto skrev:
>> After a few more investigations, I can say
>> QuickCheck does:
>> - make easy to finding couter-cases and refactoring codes
>> - make easy to test some functions if they have good mathematical
>> - generate random test cases
>> But QuickCheck does *not*:
>> - help us to find good properties
>> So what I want to know is "how to find good properties." Please let me
>> know how do you find QuickCheck properties. There are so many
>> tutorials or papers for using QuickCheck, but when I try to apply them
>> to my programming, I often miss properties in my codes.
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
Pasqualino "Titto" Assini, Ph.D.
More information about the Haskell-Cafe