enact Y:a reflective action, where Y is a
yielder of abstractions. Represents performing an action in a context
different from that of its occurrence.
- Performs the action incorporated in the abstraction yielded by
evaluating Y.
- The performance of the incorporated action is given no
data. (But see the abstraction yielder application d1
to d2.)
- The performance of the incorporated action receives no bindings.
(But see the abstraction yielder closure d.)
Example
|