We formally define an elegant multi-paradigm unification of Functional Reactive Programming, Actor Systems, and Object-Oriented Programming. This enables an intuitive form of declarative programming, harvesting the power of concurrency while maintaining safety. We use object and reference capabilities to highlight and tame imperative features: reference capabilities track aliasing and mutability, and object capabilities track I/O. Formally, our type system limits the scope, impact and interactions of impure code. - Scope: Expressions whose input is pure will behave deterministically. - Impact: Data-races and synchronisation issues are avoided. The only way for an actor to behave nondeterministically, is by mutating its state based on message delivery order. - Interactions: Signals provide a functional boundary between imperative and functional code, preventing impure code from invalidating functional assumptions.

中文翻译：

---

在函数式反应式编程和 Actors 之间顺畅导航

我们正式定义了函数反应式编程、Actor 系统和面向对象编程的优雅多范式统一。这实现了一种直观形式的声明式编程，在保持安全的同时收获了并发的力量。我们使用对象和引用功能来突出和驯服命令式功能：引用功能跟踪别名和可变性，对象功能跟踪 I/O。形式上，我们的类型系统限制了不纯代码的范围、影响和交互。- 范围：输入为纯的表达式将具有确定性的行为。- 影响：避免了数据竞争和同步问题。参与者非确定性行为的唯一方法是根据消息传递顺序改变其状态。- 互动：