[plt-scheme] contracts.ss: Can you disable them at runtime?
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.
>>