Extending Functional Languages with High-Level Exception Handling

09/14/2017

∙

by   Keehang Kwon, et al.

∙

0

∙

share

We extend functional languages with high-level exception handling. To be specific, we allow sequential-choice expressions of the form E_0 E_1 where E_0, E_1 are expressions. These expressions have the following intended semantics: sequentially choose the first successful E_i and evaluate E_i where i = 0 or 1. These expressions thus allow us to specify an expression E_0 with the failure-handling (exception handling) routine, i.e., expression E_1.