Hi James, Stuart: I started Quiche after taking a look at Fact, actually; the difference between what I'm proposing and Fact is that the latter is a standalone test framework, whereas the random-testing part of Quiche (property) and Fact (fact) could, IMHO, be built on top of test-is.
I've not seen ClojureCheck before -- thanks for the pointer! Will definitely contact both authors and see if we can get a common QuickCheck port into contrib. And yes, a separate namespace is most likely a good idea. Regards, -- Michel Salim On Feb 23, 7:26 pm, Vincent Foley <vfo...@gmail.com> wrote: > I'm definitely interested. There is Fact that does this already as > well as ClojureCheck (http://bitbucket.org/kotarak/clojurecheck/ > overview/). I think you should try to contact James and Meikel and > see if it would be a good idea to join forces. I don't mind multiple > libraries that do the same task, but if it's possible to collaborate, > that's ever better! > > Good luck! > > On Feb 23, 5:47 pm, Michel Salim <michel.syl...@gmail.com> wrote: > > > I recently wrote a test framework for Scheme, initially similar to > > what test-is provides; recently, it has been extended to add random > > checks akin to Haskell's QuickCheck. > > > The syntax is very similar (I have not bothered defining a 'deftest' > > form, but that is trivial): > > (define a-test (test a-test (+ 2 2) 4)) <==> (deftest a-test (is (+ 2 2) 4)) > > > The property syntax, inspired by the Fact library announced here, is as > > follows: > > > (define a-property (property add-commutes ([x randint] [y randint]) (= > > (+ x y) (+ y x)))) > > > which expands to a normal test, the body of which is a doseq such that > > x and y both iterate over a sequence of random integers > > > The announcement on comp-lang-scheme is > > here:http://groups.google.com/group/comp.lang.scheme/browse_thread/thread/... > > > I just filled out the contributor's agreement (I just need to mail > > it), so if people are interested I can port the property part to > > Clojure and file a request at clojure-contrib. > > > Regards, > > > -- > > miʃel salim • http://hircus.jaiku.com/ > > IUCS • msa...@cs.indiana.edu > > Fedora • sali...@fedoraproject.org > > MacPorts • hir...@macports.org --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---