Basic | Functional | Declarative | Imperative | Reflective | Communicative | Directive | Hybrid | Facets

Facets

Outcomes | Incomes | Actions | Yielders |

outcome | giving d | escaping with d | binding | failing | committing | diverging

• outcome: a sort of auxiliary entities, used for specifying sorts of actions. Sort union O₁ | O₂ combines outcomes. (The various outcomes below are disjoint, so there is no use for specifying their intersections.)
  
  
• giving d: allows normal termination that always gives transients included in the data sort d. completingcompletingcompleting abbreviates giving ( ), where ( ) is the empty tuple of data.
  
  
• escaping with d: allows abnormal termination that always gives transients included in the data sort d.
  
  
• escaping: abbreviates escaping with data.
  
  
• binding: allows normal termination that optionally produces some bindings. The union outcome giving d | binding allows normal termination that always gives transients of sort d and optionally produces some bindings. The use of binding alone implies completing.
  
  
• failing: ignored. (Most compound actions that use information fail when that information is not made available to their performance.)
  
  
• committing: allows commitment, independently of termination. Included in storing, communicating, and redirecting, which are analogous.
  
  
• diverging: allows nontermination. Actions without this sort of outcome are guaranteed to terminate, whereas those with this outcome might or might not terminate. Actions that contain any occurrence of unfolding or enact Y have this sort of outcome, unless they are equivalent to other actions that do not have it.

  Outcomes | Incomes | Actions | Yielders |

  
  
  

income | given d | current bindings | current storage | current buffer | current redirections

• income: a sort of auxiliary entities, used for specifying sorts of actions and yielders. Sort union I₁ | I₂ combines incomes. (The various incomes below are disjoint, so there is no use for specifying their intersections.)
  
  
• given d: allows use of given transients of the data sort d. More specifically, the income given d#p specifies possible use of the p'th component of the given transients, this being of datum sort d.
  
  
• current bindings: allows use of received bindings.
  
  
• current storage: allows use of storage.
  
  
• current buffer: allows use of the message buffer.
  
  
• current redirections: allows use of indirect bindings.
  

  Outcomes | Incomes | Actions | Yielders |

  
  

action | A [O] | A [using I]

• action: the sort of all actions. Its subsort primitive-action includes not only the actions described in this Appendix as primitive, but also compound actions that are equivalent to them, e.g., complete and then escape, which is equivalent to escape.
  
  
• A [O]: a sort of action, where A is a sort of action and O is a sort of outcome. Restricts A to those actions which, whenever performed, either fail or have an outcome whose termination properties and kind of information processing are included in O. Note that A [O₁] | A [O₂] is generally a proper subsort of A [O₁|O₂], whereas A [O₁] & A [O₂] is the same sort as A [O₁ & O₂], which can also be written as A [O₁] [O₂].
  
  
• A [using I]: a sort of action, where I is a sort of income. Restricts A to those actions which, whenever performed, perhaps evaluate yielders that refer to the current information indicated by I. Compare Y [using I], where Y is a sort of yielder, below.
  

  Outcomes | Incomes | Actions | Yielders |

  
  

yielder | Y [d] | Y [of d] | Y [using I]

• yielder: the sort of all yielders.
  
  
• Y [d]: a sort of yielder, where Y is a sort of action and d is a sort of data. Restricts Y to those yielders which, whenever evaluated, yield data included in d. Note that the union sort Y [d₁] | Y [d₂] is generally a proper subsort of Y [d₁|d₂], whereas Y [d₁] & Y [d₂] is the same sort as Y [d₁ & d₂], which can also be written as Y [d₁] [ d₂].
  
  
• Y [of d]: equivalent to Y [d], but a yielder [of an integer] reads a bit more naturally than yielder [integer].
  
  
• Y [using I]: a sort of yielder, where I is a sort of income. Restricts Y to those yielders which, whenever evaluated, refer at most to the current information indicated by I.
  

  Outcomes | Incomes | Actions | Yielders |