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

Fix typos and wording in chaperone docs

Browse Source
This commit is contained in:
Asumu Takikawa 2012-06-22 17:57:32 -04:00
parent a0d55d4ab8
commit e4f216244a
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/scribblings/reference/chaperones.scrbl
View File

@ -11,10 +11,10 @@
@title[#:tag "chaperones"]{Impersonators and Chaperones} @title[#:tag "chaperones"]{Impersonators and Chaperones}
An @deftech{impersonator} is a wrapper for a value where the wrapper An @deftech{impersonator} is a wrapper for a value where the wrapper
redirects certain of the value's operations. Impersonators apply only to procedures, redirects some of the value's operations. Impersonators apply only to procedures,
@tech{structures} for which an accessor or mutator is available, @tech{structures} for which an accessor or mutator is available,
@tech{structure types}, @tech{hash tables}, @tech{vectors}, @tech{structure types}, @tech{hash tables}, @tech{vectors},
and @tech{box}es. An impersonator is @racket[equal?] to the original @tech{box}es, and @tech{prompt tag}s. An impersonator is @racket[equal?] to the original
value, but not @racket[eq?] to the original value. value, but not @racket[eq?] to the original value.
A @deftech{chaperone} is a kind of impersonator whose refinement of a value's A @deftech{chaperone} is a kind of impersonator whose refinement of a value's
@ -28,13 +28,13 @@ slot, but it cannot redirect @racket[vector-ref] to produce a value
that is arbitrarily different from the value in the vector slot. that is arbitrarily different from the value in the vector slot.
A non-@tech{chaperone} @tech{impersonator}, in contrast, can refine an operation to swap one A non-@tech{chaperone} @tech{impersonator}, in contrast, can refine an operation to swap one
value for any another. An impersonator cannot be applied to an immutable value value for any other. An impersonator cannot be applied to an immutable value
or refine the access to an immutable field in an instance of a @tech{structure or refine the access to an immutable field in an instance of a @tech{structure
type}, since arbitrary replacement of an operation's value amounts to type}, since arbitrary redirection of an operation amounts to
mutation of the impersonated value. mutation of the impersonated value.
Beware that each of the following operations can be redirected to Beware that each of the following operations can be redirected to an
arbitrary procedure through impersonators on the operation's arbitrary procedure through an impersonator on the operation's
argument---assuming that the operation is available to the creator of argument---assuming that the operation is available to the creator of
the impersonator: the impersonator:
@ -176,7 +176,7 @@ of impersonators with respect to wrapping impersonators to be detected within
[prop-val any] ... ...) [prop-val any] ... ...)
any/c]{ any/c]{
Returns an impersonator of @racket[v], with redirect certain Returns an impersonator of @racket[v], which redirects certain
operations on the impersonated value. The @racket[orig-proc]s operations on the impersonated value. The @racket[orig-proc]s
indicate the operations to redirect, and the corresponding indicate the operations to redirect, and the corresponding
@racket[redirect-proc]s supply the redirections. @racket[redirect-proc]s supply the redirections.
@ -288,7 +288,7 @@ from the table. Operations like @racket[hash-iterate-value] or
therefore redirect through @racket[ref-proc]. therefore redirect through @racket[ref-proc].
The @racket[ref-proc] must accept @racket[hash] and a key passed The @racket[ref-proc] must accept @racket[hash] and a key passed
@racket[hash-ref]. It must return a replacement key to @racket[hash-ref]. It must return a replacement key
as well as a procedure. The returned procedure is called only if the as well as a procedure. The returned procedure is called only if the
returned key is found in @racket[hash] via @racket[hash-ref], in which returned key is found in @racket[hash] via @racket[hash-ref], in which
case the procedure is called with @racket[hash], the previously case the procedure is called with @racket[hash], the previously