Reflective Actions

enact Y

   
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



    Reflective Action Index | Reflective Actions | Reflective Yielders | Reflective Data