[plt-scheme] Contracts on Libraries

On 26/05/07, Carl Eastlund <cce at ccs.neu.edu> wrote:
> I concur: contracts are a good thing.  They're helpful for bug-finding
> at all stages of development. As long as you don't put a linear-time
> contract on a log-time operation (or something similar),

Of course, this isn't a problem if you can have contracts which can be
turned off.

> efficiency
> shouldn't be too bad.  Scheme already has safety checks on many
> operations; as far as I'm concerned adding new checks to new
> operations is just standard overhead.
>
> If you have a really speed-sensitive library, you could always expose
> both the contracted and uncontracted modules and let users choose.

Which is pretty much the same thing as having contracts you can turn
on and off =).
I see demand.

Henk Boom

> Personally, I wouldn't worry about it for 99.99% of planet libraries.