Glad to hear it! As for the quickcheck/contracts interaction, Racket has some (not completely polished) support for exactly that; it works by randomly generating inputs based on the contracts and trying to get blame to fall on the tested function.
Robby On Fri, Sep 6, 2013 at 5:01 PM, Daniel Prager <daniel.a.pra...@gmail.com>wrote: > My talk went down well and the audience of mainly Clojurists and > Haskellers were engaged and few people were keen to go away and have a play. > > One participant reddited the slides and they've been downloaded almost > 2000 times so far. > > The top comment on reddit included a piece of Haskell advocacy > (surprise!) for QuickCheck. > > > http://www.reddit.com/r/programming/comments/1lt7zi/introduction_to_contracts_and_functional_contracts/cc2l2k4 > > > Dan > > > > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users > >
____________________ Racket Users list: http://lists.racket-lang.org/users
