[Haskell-cafe] CoArbitrary

Roman Cheplyaka roma at ro-che.info
Sat Feb 9 22:08:41 CET 2013


I don't think the question was about generating functions...
FWIW, both QuickCheck and SmallCheck generate functions. There was also
an interesting paper at the last ICFP by Koen related to this.

But I think Tony is looking for some kind of a pattern here...

Roman

* Stephen Tetley <stephen.tetley at gmail.com> [2013-02-09 10:50:45+0000]
> I think GAST - the Clean equivalent of Quickcheck - generates
> functions. There are certainly quite a few papers by members of the
> Clean team documenting how they generate them.
> 
> On 9 February 2013 07:07, Tony Morris <tonymorris at gmail.com> wrote:
> [...]
> > I hope I have phrased this in a way to make the point. I found it a bit
> > difficult to articulate and I do wonder (hope!) that others encounter
> > similar scenarios. Thanks for any tips!
> 
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe



More information about the Haskell-Cafe mailing list