一种具有可扩展记录的 ML 风格记录演算

在这项工作中，我们开发了一种具有可扩展记录的多态记录演算。可扩展记录是指可以添加新字段或移除已有字段的记录。我们还为该演算开发了静态类型系统以及一种可靠且完备的类型推断算法。大多数支持可扩展记录的 ML 风格多态记录演算都基于行变量。我们提出了一种基于 Ohori 所开发的多态记录演算的替代构造。Ohori 将其多态记录演算建立在种类限制的思想之上。这使他能够表达记录上的多态操作，如字段选择与修改。通过加入可扩展类型，我们得以用其他强大的记录操作（如字段添加与移除）来扩展 Ohori 的原始演算。