((( [logo]Racket )))Need Help?
AboutDownloadDocumentationPLaneTCommunityLearning

[plt-scheme] Questions about contracts

From: Grant Rettke (grettke at acm.org)
Date: Mon Apr 16 20:12:09 EDT 2007		 
> 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
>   (2) unlike Eiffel's, our contract system copes with higher-order
> functions.
>

Please explain.
Posted on the users mailing list.