迈克，斯皮维 例外的功能理论。 （英语） Zbl 0699.68022号 科学。计算。程序。 14，第1号，25-42（1990）. 摘要：异常是编程语言经常提供的一种功能，用于处理可能失败的计算。本文认为，惰性函数编程不仅使内置的异常机制变得不必要，而且为开发和转换使用异常的程序提供了一个强大的工具。基本思想是简单的，用不同的误差值来增加每种类型；这种思想对于编写程序和通过使用高阶函数进行推理来说是可行的。一个优点是可以使用简单的等式参数来推理程序。在整个论文中，使用重写规则简化代数表达式的问题被用作动机和例子的来源。 引用于1审查引用于16文件 MSC公司： 68号01 软件理论的一般主题 68问题65 抽象数据类型；代数规范 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：例外；惰性评估；抽象数据类型；例外情况；函数式编程 PDF格式BibTeX公司 XML格式引用 \textit{M.Spivey}，科学。计算。程序。14，编号1，25-42（1990；兹bl 0699.68022） 全文： 内政部