Absatract Actors collaborate via message exchanges to reach a common goal. Experience has shown, however, that pure message-based communication is limiting and forces developers to use design patterns. The recently introduced dataspace actor model borrows ideas from the tuple space realm. It offers a tightly controlled, shared storage facility for groups of actors. In this model, actors assert facts that they wish to share and interests in such assertions. The dataspace notifies interested parties of changes to the set of assertions that they are interested in. Although it is straightforward to add the dataspace model to untyped languages, adding a typed interface is both necessary and challenging. Without restrictions on exchanged data, a faulty actor may propagate erroneous data through a malformed assertion, causing an otherwise well-behaved actor to crash—violating the key principle of failure isolation. A properly designed type system can prevent this scenario and rule out other kinds of uncooperative actors. This paper presents the first structural type system for the dataspace model of actors; it does not address the question of behavioral types for assertion-oriented protocols.

中文翻译：

---

类型化数据空间参与者

抽象参与者通过消息交换进行协作以实现共同目标。然而，经验表明，纯粹的基于消息的通信是有限的，并迫使开发人员使用设计模式。最近引入的数据空间参与者模型借鉴了元组空间领域的想法。它为参与者组提供了一个严格控制的共享存储设施。在这个模型中，参与者断言他们希望分享的事实和对此类断言的兴趣。数据空间通知相关方他们感兴趣的断言集的更改。尽管将数据空间模型添加到无类型语言中很简单，但添加类型接口既必要又具有挑战性。在不限制交换数据的情况下，有缺陷的参与者可能会通过格式错误的断言传播错误的数据，导致表现良好的参与者崩溃——违反了故障隔离的关键原则。一个设计合理的类型系统可以防止这种情况并排除其他类型的不合作的参与者。本文介绍了参与者数据空间模型的第一个结构类型系统；它没有解决面向断言的协议的行为类型问题。