[plt-scheme] Questions about contracts

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