Ownership, Uniqueness, and Immutability
Ownership, Uniqueness, and Immutability
复制标题
所有权、唯一性和不变性
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Beatrice Åkerblom
中科院分区：
文献类型：
--
作者：
Johan Östlund;Tobias Wrigstad;D. Clarke;Beatrice Åkerblom
用面向对象的语言编程需要在灵活性和控制性之间保持良好的平衡。在一个层次上，对象需要自由地交互以实现我们的实现目标。在更高的层次上，必须满足确保系统能够被新开发人员理解并能够随着需求变化而发展的体系结构约束。为了解决这种紧张关系，研究人员开发了表示所有权和行为限制（如不变性）的类型系统。这项工作报告了我们将由此产生的发现整合到一种单一的编程语言中。我们的语言Joe 3几乎没有额外的语法开销，但可以编码强大的模式，如部分权限和灵活的权限保护的引用模式。
Programming in an object-oriented language demands a fine balance between flexibility and control. At one level, objects need to interact freely to achieve our implementation goals. At a higher level, architectural constraints that ensure the system can be understood by new developers and can evolve as requirements change must be met. To resolve this tension, researchers have developed type systems expressing ownership and behavioural restrictions such as immutability. This work reports on our consolidation of the resulting discoveries into a single programming language. Our language, Joe 3 , imposes little additional syntactic overhead, yet can encode powerful patterns such as fractional permissions and the reference modes of Flexible Alias Protection.