Scala 3.3.0 中结构类型支持的现状
编程语言
2023-11-21 v1
摘要
Scala的类型系统主要基于名义类型。Scala 3引入了一种特殊类型 Selectable，为结构类型提供基础设施。Karlsson与Haller提出了对 Selectable 的改进以支持可扩展记录。本文中，我们回顾若干涉及结构类型的Scala 3项目。我们发现它们的实现或可用性将受益于Karlsson与Haller的可扩展记录提案。我们探究使用结构类型时剩余的常见挑战。特别地，我们确认对记录类型与记录字面量的专用语法将是语言最有益的增加项。
引用
@article{arxiv.2311.11105,
title = {State of structural typing support in Scala 3.3.0},
author = {Julien Richard-Foy},
journal= {arXiv preprint arXiv:2311.11105},
year = {2023}
}