add a possible explanation for indy

This commit is contained in:
Robby Findler 2012-06-16 06:34:17 -05:00
parent 4eb0d3dcac
commit e94c72da78

View File

@ -273,7 +273,12 @@ The following is an excerpt from an imaginary numerics module:
[real-sqrt (->i ([argument (>=/c 1)])
[result (argument) (<=/c argument)])]))
]
@margin-note{The word ``indy'' was originally chosen in response
to two existing words in the research literature: ``lax'' and
``picky'' that check contracts slightly differently; ``indy''
is meant to suggest that blame may be assigned to the contract itself;
e.g. the contract is an independent operator and can itself be blamed.}
The contract for the exported function @racket[real-sqrt] uses the
@racket[->i] rather than @racket[->*] function contract. The ``i''
stands for an @italic{indy dependent} contract, meaning the contract for the