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

From: Sam TH (samth at ccs.neu.edu)
Date: Thu May 17 11:38:56 EDT 2007

On 5/17/07, Richard Cobbe <cobbe at ccs.neu.edu> wrote:
> On Thu, May 17, 2007 at 09:59:16AM -0400, Matthias Felleisen wrote:
> >
> >  On May 17, 2007, at 9:41 AM, Richard Cobbe wrote:
> >
> > > I've often wanted to disable them for certain modules even "during
> > > practice."  When I'm running test cases and debugging, having to repeatedly
> > > recompile a module with complicated structure and contract definitions is
> > > slow enough to be very annoying and almost slow enough to be impractical.
> >
> >  It sounds like you're using contracts as a substitute for types
>
> Yes, for two reasons:
>
>   1) The last time I looked into this (several months ago) Typed Scheme
>      wasn't yet ready to do the things I want from a type or contract
>      system.  Perhaps it's time to revisit that decision.

(Obviously) I like Typed Scheme, and think it's good for many things.
But one thing it isn't good for, at the moment, is speeding up the
compilation of your program  - for both good and bad reasons, it's
currently quite slow.

-- 
sam th
samth at ccs.neu.edu


Posted on the users mailing list.