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