ML with extended pattern matching and subtypes
ML with extended pattern matching and subtypes
复制标题
具有扩展模式匹配和子类型的机器学习
DOI：
10.1145/62678.62702
复制
发表时间：
1988
期刊：
影响因子：
--
通讯作者：
John C. Mitchell
中科院分区：
文献类型：
--
作者：
L. Jagadeesan;John C. Mitchell
我们通过合并更通用的记录模式匹配形式并为用户指定的子类型提供了更通用的形式，我们扩展了编程语言标准ML的片段。一起，这两个增强功能可用于支持受限制的面向对象的编程样式。为了与标准ML的框架保持一致，我们提出了该语言的键入规则，并开发了一种有效的推理算法。我们证明该算法相对于打字规则是合理的，并且它会在每个类型表达式中呈现最通用的打字。
We extend a fragment of the programming language Standard ML by incorporating a more general form of record pattern matching and providing for user-declared subtypes. Together, these two enhancements may be used to support a restricted object-oriented programming style. In keeping with the framework of Standard ML, we present typing rules for the language, and develop an efficient type inference algorithm. We prove that the algorithm is sound with respect to the typing rules, and that it infers a most general typing for every typable expression.