[plt-scheme] function contracts

From: Robby Findler (robby at cs.uchicago.edu)
Date: Thu Mar 11 08:19:25 EST 2004

At Thu, 11 Mar 2004 17:18:24 +0800, "Zhu Chongkai" wrote:
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
> >
> >Is it possible to define a function contract that will cause some constraint
> >to hold between the arguments of the function?  For example a function might
> >require two integer arguments where the first must be less than the second.  I
> >couldn't see how to do this from reading the documentation.
> >
> >Thanks,
> >David
> >
> DrScheme treat contract as *comments*. The purpose of writing commentary text 
> is to help people (both writer and reader) to understand the code. 

There is a contract facility in DrScheme that does not treat them as
comments. Seach for contracts in Help Desk.


Posted on the users mailing list.