Go backward to Composition of States Go up to Top Go forward to Altering the Properties of Stores

Error Handling

• Algebra operations abort normal evaluation when type error occurs.

  Representation of low-level (e.g. hardware-level) fault detection and branching mechanisms.

• Machine action: on fault, branch out of the program.
• Semantics: on fault, branch out of function expression

  Propagation of type errors yields same result as machine action.