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

On Apr 17, 2005, at 8:48 PM, Robby Findler wrote:

>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
> Given that CL implementations don't actually implement the checks in  
> the same manner as mz's contracts, it's not clear that this comparison  
> is actually fruitful, but I'm referring to contracts like this:
>
> (module m mzscheme
>   (require (lib "contract.ss"))
>   (provide/contract [f (-> (number? number?) number?)])

... was this supposed to be (-> (-> number? number?) number?)
?

john

>   (define (f g)  ... g ...))
>
> If you're interested in the technical details behind this, have a look  
> at  
> http://people.cs.uchicago.edu/~robby/pubs/papers/ho-contracts- 
> icfp2002.pdf
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2430 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20050418/47b26795/attachment.p7s>