[plt-scheme] Questions about contracts

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Apr 16 20:48:48 EDT 2007

On Apr 16, 2007, at 8:12 PM, Grant Rettke wrote:

>> This is a fair criticism, especially since we haven't gotten around
>> to implementing class contracts yet. You should understand, however,
>> that
>>   (1) unlike Eiffel's, our contract system is sound

See http://www.ccs.neu.edu/scheme/pubs/#fse01-flf
(plus the OOPSLA 01 paper)

>>   (2) unlike Eiffel's, our contract system copes with higher-order
>> functions.

See http://www.ccs.neu.edu/scheme/pubs/#icfp2002-ff

I will say that I am grateful to Eiffel. I meant to use it for
a course, and when Robby played with it, we discovered all its
flaws and out popped his dissertation.

-- Matthias

> Please explain.
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.