suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

small fixes to Robby's marginal note on indy

Browse Source
This commit is contained in:
Matthias Felleisen 2012-06-16 12:11:39 -04:00
parent 94f1cb2127
commit 4306cc2798
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/scribblings/guide/contracts-general-function.scrbl
View File

@ -274,11 +274,11 @@ The following is an excerpt from an imaginary numerics module:
[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.}
@margin-note{The word ``indy'' is meant to suggest that blame may be
assigned to the contract itself, because the contract must be considered an
independent component. The name was chosen in
response to two existing labels---``lax'' and ``picky''---for different
semantics of function contracts in the research literature.}
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