<div dir="ltr">Glad to hear it!<div><br></div><div>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. </div>
<div><br></div><div>Robby</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Sep 6, 2013 at 5:01 PM, Daniel Prager <span dir="ltr">&lt;<a href="mailto:daniel.a.prager@gmail.com" target="_blank">daniel.a.prager@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">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.<div>
<br></div><div>One participant reddited the slides and they&#39;ve been downloaded almost 2000 times so far.<div>

<br></div><div>The top comment on reddit included a piece of Haskell advocacy (surprise!) for QuickCheck.</div><div><br></div><div><a href="http://www.reddit.com/r/programming/comments/1lt7zi/introduction_to_contracts_and_functional_contracts/cc2l2k4" target="_blank">http://www.reddit.com/r/programming/comments/1lt7zi/introduction_to_contracts_and_functional_contracts/cc2l2k4</a></div>


<div><br></div><div><br></div><div>Dan<br><div><br></div><div><br><div class="gmail_extra"><br><div dir="ltr"><br></div>
</div></div></div></div></div>
<br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>