拓扑集合和变换集合的类型和类型
Typage fort et typage souple des collections topologiques et des transformations
摘要：
拓扑集合允许统一考虑程序设计语言中的许多数据结构，并由称为转换的模式匹配定义的函数处理。我们提出了两个类型系统的语言拓扑集合和转换。第一个是一个强类型系统，它可以在编译时完全类型化。第二个是混合的静态和动态类型系统，允许处理异构集合，即包含不同类型值的集合。在这两种情况下，自动类型推断是可能的。
英文摘要：
Topological collections allow to consider uniformly many data structures in programming languages and are handled by functions defined by pattern matching called transformations. We present two type systems for languages with topological collections and transformations. The first one is a strong type system à la Hindley/Milner which can be entirely typed at compile time. The second one is a mixed static and dynamic type system allowing to handle heterogeneous collections, that is collections which contain values with different types. In the two cases, automatic type inference is possible.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
