[Haskell-cafe] Generating arbitrary functions with QuickCheck?

[Stephen Tetley]

On 15 September 2010 16:29, Matias Eyzaguirre <dented42 at gmail.com> wrote:

> Secondly, (and more importantly, or at least more interesting) I can see how one would make a generator for simple compound data types, but how on earth do you make a generator produce functions?_______________________________________________

There are papers by Pieter Koopman and colleagues describing function
generation for GAst - the Clean equivalent to QuickCheck:

http://www.st.cs.ru.nl/Onderzoek/Publicaties/publicaties.html