Meerkat: A Distributed Reactive Programming Language with Live Updates
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866917716541046784 |
|---|---|
| author | Zhong, Heng Liu, Anrui |
| author_facet | Zhong, Heng Liu, Anrui |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_06885 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Meerkat: A Distributed Reactive Programming Language with Live Updates Zhong, Heng Liu, Anrui Programming Languages 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. |
| title | Meerkat: A Distributed Reactive Programming Language with Live Updates |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2407.06885 |