-0400 (EDT)
Subject: Re: [racket-dev] contract-out
On Sun, Sep 25, 2011 at 10:55 AM, J. Ian Johnson i...@ccs.neu.edu wrote:
Very nice! Is it easy to make a provide form that conditionally provides with
contracts, such as Sam's provide-cond-contract in
typed-scheme/utils/utils.rkt
...@ccs.neu.edu
To: J. Ian Johnson i...@ccs.neu.edu
Cc: Matthew Flatt mfl...@cs.utah.edu, dev@racket-lang.org
Sent: Sun, 25 Sep 2011 11:34:39 -0400 (EDT)
Subject: Re: [racket-dev] contract-out
On Sun, Sep 25, 2011 at 10:55 AM, J. Ian Johnson i...@ccs.neu.edu wrote:
Very nice! Is it easy to make
: Matthew Flatt mfl...@cs.utah.edu, dev@racket-lang.org
Sent: Sun, 25 Sep 2011 11:34:39 -0400 (EDT)
Subject: Re: [racket-dev] contract-out
On Sun, Sep 25, 2011 at 10:55 AM, J. Ian Johnson i...@ccs.neu.edu wrote:
Very nice! Is it easy to make a provide form that conditionally provides
with contracts
to any subforms someone
else adds later.
-Ian
- Original Message -
From: Sam Tobin-Hochstadt sa...@ccs.neu.edu
To: J. Ian Johnson i...@ccs.neu.edu
Cc: Matthew Flatt mfl...@cs.utah.edu, dev@racket-lang.org
Sent: Sun, 25 Sep 2011 11:34:39 -0400 (EDT)
Subject: Re: [racket-dev
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
On Sun, Sep 25, 2011 at 8:14 PM, Eli Barzilay e...@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
An hour and a half ago, Sam Tobin-Hochstadt wrote:
On Sun, Sep 25, 2011 at 8:14 PM, Eli Barzilay e...@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
On Sun, Sep 25, 2011 at 9:36 PM, Eli Barzilay e...@barzilay.org wrote:
An hour and a half ago, Sam Tobin-Hochstadt wrote:
On Sun, Sep 25, 2011 at 8:14 PM, Eli Barzilay e...@barzilay.org wrote:
IMO, a better approach for disabling contracts is to have the
client decide whether it wants the
8 matches
Mail list logo
