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

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Thu May 17 16:38:22 EDT 2007

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.