基于类型规则的拓扑集合变换
摘要：将模式匹配编程作为一种基于规则的编程风格在函数式语言中开发是一个例子。这种编程风格在ML方言中被广泛使用，但仅限于代数数据类型。这种限制限制了应用领域。然而，如Giavitto和Michel在RULE'02中所示，基于情况的函数定义可以扩展到称为拓扑集合的更一般的数据结构。我们在本文中展示，这种扩展保留了函数式语言的类型约束的好处。更确切地说，我们展示了拓扑集合和与之相关的基于规则的函数定义适应了mini-ML的多型扩展，其中仍然可以进行类型推断。
作者：Julien Cohen (LMI)
论文ID：0912.4877
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-12-25