[plt-scheme] contracts.ss: Can you disable them at runtime?

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Thu May 17 20:52:58 EDT 2007

And what if they don't?  How about for other people?

(ie, that's a bogus answer)

On 5/17/07, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> On May 17, 2007, at 4:04 PM, Shriram Krishnamurthi wrote:
>
> >> Long:  Tony Hoare once said that assertions are like life vests. Why
> >> use them on land during practice and leave them back when you go
> >> to sea?
> >
> > This is a poor analogy.
> >
> > I bet you turn off test cases, too, in software that you ship.  Why?
>
> Because my contracts subsume all my test cases.
>


Posted on the users mailing list.