关系式响应式编程：面向 Web 的 miniKanren
Relational Reactive Programming: miniKanren for the Web
AI总结：
本文提出关系式响应式编程方法，通过实现响应式 Javascript 版 miniKanren 和集成编程模型，解决前端开发中模型与视图同步演化问题。
摘要：
在过去十年中，响应式框架和语言已成为前端 Web 开发中的主导编程范式。在该范式中，用户操作改变应用状态，这些变化以响应式方式传播到派生状态和显示界面，从而降低了数据模型各部分与面向用户的视图因程序员错误而失去同步的可能性。本文探索了将关系式编程应用于模型与视图随时间在响应用户输入时的规范说明与同步演化。为此，我们提出了 miniKanren 的一个响应式 Javascript 实现，以及一个面向前端 Web 开发挑战的集成式响应式编程模型。
英文摘要：
Over the past decade, reactive frameworks and languages have become the dominant programming paradigm in front-end web development. In this paradigm, user actions change application state, and those changes propagate reactively to derived state and to the display, reducing the likelihood that various parts of the data model and user-facing view will become out of sync due to programmer error. In this paper, we explore the application of relational programming to the specification and synchronized evolution of model and view across time in response to user input. To that end, we present a reactive Javascript implementation of miniKanren and an integrated reactive programming model oriented towards the challenges of front-end web development.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
