集合拓扑和转换的严格类型化与灵活类型化
摘要：使用模式匹配定义的变换函数可以处理编程语言中的拓扑集合，并且允许统一考虑多个数据结构。本文提出了两种适用于具有拓扑集合和变换的语言的类型系统。第一种是Hindley/Milner类型系统，它可以在编译时完全进行类型推断。第二种是混合静态和动态类型系统，可以处理异构集合，即包含不同类型值的集合。在这两种情况下，都可以进行自动类型推断。
作者：Julien Cohen (LMI)
论文ID：0912.4878
分类：Programming Languages
分类简称：cs.PL
提交时间：2009-12-25