We propose a novel type-safe reactive programming language with live updates that extends an existing work to support multiple distributed evolution queues. Dependency sets of definitions are incorporated in the type system to protect the interaction between the frontend user interface and the backend database. Distributed live updates submitted by multiple programmers are ensured strong consistency based on an existing framework for distributed reactive propagation.

翻译：我们提出了一种新型的类型安全响应式编程语言，该语言支持实时更新功能，并在现有研究基础上扩展以支持多分布式演化队列。通过在类型系统中引入定义依赖集，该语言能够保护前端用户界面与后端数据库之间的交互。基于现有的分布式响应式传播框架，我们确保由多位程序员提交的分布式实时更新具有强一致性保证。