[plt-scheme] define/contract/provide ?

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.

N.