Extensible records with scoped labels
Extensible records with scoped labels
复制标题
具有范围标签的可扩展记录
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
Daan Leijen
中科院分区：
文献类型：
--
作者：
Daan Leijen
记录提供了一种安全且灵活的方式来构造数据结构。我们描述了一种输入多态和可扩展记录的自然方法，该方法简单、易于在实践中使用并且易于实现。这项工作的一个新颖之处是记录可以包含重复的标签，从而有效地引入了一种标签范围界定形式。此外，它是对现有类型系统和编程语言的完全正交扩展。我们特别展示了如何将其与标准 HindleyMilner、合格类型和 MLF 方便地结合使用。
Records provide a safe and flexible way to construct data structures. We describe a natural approach to typing polymorphic and extensible records that is simple, easy to use in practice, and straightforward to implement. A novel aspect of this work is that records can contain duplicate labels, effectively introducing a form of scoping over the labels. Furthermore, it is a fully orthogonal extension to existing type systems and programming languages. In particular, we show how it can be used conveniently with standard HindleyMilner, qualified types, and MLF.