Efficient implementation of error values in functional languages.

摘要

Functional languages support exception handling by expanding the domain of types to include error values. The run time cost of an implementation that handles the extra domain check for these error values can be much greater than the run time cost of an un ...