论文标题
Gavial：用多层FRP编程网络
Gavial: Programming the web with multi-tier FRP
论文作者
论文摘要
开发Web应用程序需要处理其分布式性质以及用户输入和网络通信的自然异步性。为了促进这一点，不同的研究人员探索了多层编程语言和功能反应性编程的组合。 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.通过应用许多新想法，我们证明了多层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.
