Meerkat: A Distributed Reactive Programming Language with Live Updates
Programming Languages
2024-07-10 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2407.06885,
title = {Meerkat: A Distributed Reactive Programming Language with Live Updates},
author = {Heng Zhong and Anrui Liu},
journal= {arXiv preprint arXiv:2407.06885},
year = {2024}
}