[plt-scheme] define/contract/provide ?

From: Noel Welsh (noelwelsh at gmail.com)
Date: Sun Mar 21 15:53:27 EDT 2010

On Sun, Mar 21, 2010 at 7:41 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
>> If so, the only practical difference I can see would be performance:
>> If say the module code trusts itself and doesn't want to pay the price
>> for runtime checking. Is that correct, or is there more nuance to
>> contracts that I'm not yet understanding?
> That is true but it also affects the granularity of the blame.
> Finer-grained contract boundaries potentially cost more but give more
> accurate blame.

Furthermore, they interact with tail calls; not all contracts can be
tail recursive. This can change the semantics of your program.


Posted on the users mailing list.