{"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}
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.