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

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

On May 17, 2007, at 8:52 PM, Shriram Krishnamurthi wrote:

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

Then they should leave them on.

> (ie, that's a bogus answer)

I'll ignore this nonsense.

>
> 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.