Extending Functional Languages with High-Level Exception Handling


We extend functional languages with high-level exception handling. To be specific, we allow sequential-choice expressions of the form E0 ▽ E1 where E0, E1 are expressions. These expressions have the following intended semantics: sequentially choose the first successful Ei and evaluate Ei where i = 0 or 1. These expressions thus allow us to specify an… (More)