{"title":"Meerkat: A Distributed Reactive Programming Language with Live Updates","authors":"Heng Zhong, Anrui Liu","doi":"arxiv-2407.06885","DOIUrl":null,"url":null,"abstract":"We propose a novel type-safe reactive programming language with live updates\nthat extends an existing work to support multiple distributed evolution queues.\nDependency sets of definitions are incorporated in the type system to protect\nthe interaction between the frontend user interface and the backend database.\nDistributed live updates submitted by multiple programmers are ensured strong\nconsistency based on an existing framework for distributed reactive\npropagation.","PeriodicalId":501197,"journal":{"name":"arXiv - CS - Programming Languages","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Programming Languages","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.06885","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
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.