[plt-scheme] Is there a general overview of contracts somewhere?

On Apr 17, 2005, at 8:07 PM, jekwtw wrote:

>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
> Yes, it's pretty clear that CL implementors typically *use* type specs 
> as
> pragmas for efficiency; however, the standard *does* say that contexts 
> that
> violate type specs are absolutely in error, but conforming 
> implementations
> are not *required* to detect the errors.  Thus there could be 
> high-quality
> implementations in which type specs are taken seriously.

Do you know of one? -- Matthias

P.S. And do you understand what the actual meaning of the declares are?

>
>  -- Bill Wood
>     bill.wood at acm.org
>
> ----- Original Message -----
> From: "Eli Barzilay" <eli at barzilay.org>
> To: "jekwtw" <jeaniek7 at comcast.net>
> Cc: <plt-scheme at web-ext.cs.brown.edu>
> Sent: Sunday, April 17, 2005 4:51 PM
> Subject: Re: [plt-scheme] Is there a general overview of contracts
> somewhere?
>
>
>> On Apr 17, jekwtw wrote:
>>> Out of curiosity, could you (or someone) provide a brief
>>> compare-and-contrast between PLT's contracts and Common Lisp's type
>>> specifiers and (declare ...) forms?
>>
>> (One thing is that CL's `declare' is used only as guidelines for
>> optimizing code, which is a completely different goal.)
>>
>> -- 
>>           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli 
>> Barzilay:
>>                   http://www.barzilay.org/                 Maze is 
>> Life!
>