Noel Welsh <[email protected]> writes: > On Mon, Jan 25, 2010 at 8:05 AM, Michael Sperber > <[email protected]> wrote: >> I'll point out that a quite complete port of the original QuickCheck is >> sitting in the deinprogramm/quickcheck collection. I wrote it for our >> teaching languages (where feedback indicates it's a success), but it's >> by no means restricted to that. > > For the sake of completeness, there is also fasttest on Planet.
Right. But note that it's different from QuickCheck: It features a bunch of procedures that generate random values of various types, whereas QuickCheck is a combinator library for generators. That comes into play with compound generators - such as generators for procedures. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
