A generalization of exceptions and control in ML-like languages
A generalization of exceptions and control in ML-like languages
复制标题
类机器学习语言中异常和控制的概括
DOI：
10.1145/224164.224173
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
J. Riecke
中科院分区：
文献类型：
--
作者：
Carl A. Gunter;Didier Rémy;J. Riecke
我们将功能连续性和提示添加到具有ML式类型系统的语言中。操作员显着扩展并简化了SML/NJ中的控制运算符，并且本身可以用来实现（简单）异常。我们证明，良好的术语永远不会产生运行时类型的错误，并给出了在最新版本的SML/NJ中实现它们的模块。
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be themselves used to implement (simple) exceptions. We prove that well-typed terms never produce run-time type errors and give a module for implementing them in the latest version of SML/NJ.