Gavial：使用多层FRP对Web进行编程
Gavial: Programming the web with multi-tier FRP
摘要：
开发Web应用程序需要处理它们的分布式特性以及用户输入和网络通信的自然兼容性。为了促进这一点，不同的研究人员已经探索了多层程序设计语言和功能反应式编程的组合。然而，现有的建议只采取了这种方法的一部分（应用程序的某些部分仍然是必需的）或保持天真，不考虑避免网络通信中的故障，网络流量开销，与XMLHttpRequest等常见API的兼容性等。第一个成熟的多层FRP设计和实现，允许将整个Web应用程序构建为功能反应程序。通过应用一些新的想法，我们证明，多层FRP实际上可以处理现实的重要实际方面的建设Web应用程序。与此同时，我们保留了FRP的声明性质，其中行为和事件具有直观的组合语义和清晰的依赖结构。
英文摘要：
Developing web applications requires dealing with their distributed nature and the natural asynchronicity of user input and network communication. For facilitating this, different researchers have explored the combination of a multi-tier programming language and functional reactive programming. However, existing proposals take this approach only part of the way (some parts of the application remain imperative) or remain naive, with no regard for avoiding glitches across network communication, network traffic overhead, compatibility with common APIs like XMLHttpRequest etc. In this paper, we present Gavial: the first mature design and implementation of multi-tier FRP that allows constructing an entire web application as a functionally reactive program. By applying a number of new ideas, we demonstrate that multi-tier FRP can in fact deal realistically with important practical aspects of building web applications. At the same time, we retain the declarative nature of FRP, where behaviors and events have an intuitive, compositional semantics and a clear dependency structure.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
