[racket-dev] contract-out

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sun Sep 25 20:18:42 EDT 2011

On Sun, Sep 25, 2011 at 8:14 PM, Eli Barzilay <eli at barzilay.org> wrote:
> IMO, a better approach for disabling contracts is to have the client
> decide whether it wants the contracted version or the plain one --
> which is a rough mirror of how unsafe operations are done (with the
> choice being made by requiring one file or another).  Then, there
> could be a facility that associates a safe identifier with an unsafe
> version, so you could write (unsafe foo) -- which will be the unsafe
> operation for builtins that have one, and in case of a contracted
> function it will be the uncontracted one.

This wouldn't work for the Typed Racket use case, where I want to flip
one switch for contracts throughout the TR code base.

sam th
samth at ccs.neu.edu

Posted on the dev mailing list.