Directive Yielders

current redirections | indirect closure a

   current redirections: a map yielder. Yields the state of the redirections.

   
indirect closure a: an abstraction yielder, where a is an abstraction. Yields an abstraction which incorporates the same action as a, except that the incorporated action has a snapshot of the current redirections, of use when the abstraction is to be enacted on another agent and the incorporated action depends on indirect bindings. (The indirections created on different agents are distinct, to avoid interference between the snapshot of redirections in an indirect closure and any redirections current on the agent where the closure is enacted.)
  • This operation extends to yielders Y in the usual way: it is evaluated by applying the above operation to the datum yielded by evaluating Y .
   OBS:These yielders are not implemented by the action interpreter.


    Directive Action Index | Directive Actions | Directive Yielders | Directive Data