Meerkat：实时更新的分布式反应编程语言

arXiv - CS - Programming Languages Pub Date : 2024-07-09 DOI:arxiv-2407.06885

Heng Zhong, Anrui Liu

{"title":"Meerkat：实时更新的分布式反应编程语言","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":"{\"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}","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

摘要

我们提出了一种具有实时更新功能的新型类型安全的反应式编程语言，它扩展了现有的工作，以支持多个分布式演化队列。在类型系统中加入了定义的依赖集，以保护前端用户界面和后端数据库之间的交互。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Meerkat: A Distributed Reactive Programming Language with Live Updates

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Programming Languages

自引率

0.00%

发文量

期刊最新文献

Repr Types: One Abstraction to Rule Them All $μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities Expressing and Analyzing Quantum Algorithms with Qualtran Conversational Concurrency The MLIR Transform Dialect. Your compiler is more powerful than you think