Type checking records and variants in a natural extension of ML
Type checking records and variants in a natural extension of ML
复制标题
ML 自然扩展中的类型检查记录和变体
DOI：
--
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
Didier Rémy
中科院分区：
文献类型：
--
作者：
Didier Rémy
具有记录的强类型语言可能具有包含规则，以便可以使用具有更多字段的记录而不是具有较少字段的记录。但这些规则导致将记录类型作为特殊情况进行全局处理。我们通过为没有任何临时断言的记录提供普通状态来解决这个问题，并用记录类型中的额外信息替换包含规则。通过这种编码，机器学习自然地将其多态性扩展到记录，但任何其他宿主语言也将传递其力量。
Strongly typed languages with records may have inclusion rules so that records with more fields can be used instead of records with less fields. But these rules lead to a global treatment of record types as a special case. We solve this problem by giving an ordinary status to records without any ad hoc assertions, replacing inclusion rules by extra information in record types. With this encoding ML naturally extends its polymorphism to records but any other host language will also transmit its power.