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

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.

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