[racket] Introductory talk on Contracts and Functional Contracts, with most examples in Racket

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.prager at 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
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130906/be7eac92/attachment.html>