[plt-scheme] contracts.ss: Can you disable them at runtime?

From: Robby Findler (robby at cs.uchicago.edu)
Date: Thu May 17 10:43:42 EDT 2007

No, that's wrong, Richard. You can bind them to variables. Duplicating
variables is fine. Duplicating more complex contracts is a bad idea.

Of course, that is probably not the entire story; the contracts that
get generated from a provide/contract struct clause aren't small;
perhaps that can be improved, I'm not sure.

I only said "some" of the blame.


On 5/17/07, Richard Cobbe <cobbe at ccs.neu.edu> wrote:
> On Thu, May 17, 2007 at 09:17:53AM -0500, Robby Findler wrote:
> >  Looks like Dave's package is duplicating the code for the contracts.
> >  Maybe some complaints should be directed that way :)
> I don't know Dave's package, but I'm going to make an educated guess:
> He's duplicating contracts all over the place.
> He has to.
> The (provide/contract (struct (x y) ...)) form requires it.
> Defining the structure hierarchy with contracts manually would duplicate
> the contracts just as much; the only difference is that I could name with
> top-level defines some of the repeated contract expressions like
> (optional/c foo?)
> Richard
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.