Fantastic.
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?
titto
2009/9/28 Emil Axelsson <e...@chalmers.se>:
> Not sure this is what you want, but I thought I'd mention "Formal
> Specifications for Free":
>
> http://www.erlang.org/euc/08/1005Hughes2.pdf
>
> (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
>> properties
>> - 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.
>>
>> Cheers
>> -nwn
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe@haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
--
Pasqualino "Titto" Assini, Ph.D.
http://quicquid.org/
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
