SHF: Medium: Collaborative Research: FRP for Real

函数式反应式编程（Functional Reactive Programming，简称FRP）是一种基于两个基本抽象的声明式编程范式：时变行为的连续（函数式）建模，以及用户和进程交互的离散（反应式）演算。 FRP提供了一种新颖有效的方法来解决连续和离散实体相结合的问题，如计算机动画，机器人，控制系统，GUI和交互式多媒体。 玻璃钢？的更广泛的影响是看到它的采用由其他几个研究项目，并在几个应用程序中使用不同于耶鲁大学。 拟议的工作将加强这些现有的项目，并进一步扩大玻璃钢的适用性。 在实现中提出的改进将使FRP更适合于计算密集型应用，如交互式3D图形和实时音频处理。 它还将使建模和仿真社区受益，这些社区通常使用声明性方法来指定和解决问题。耶鲁大学以前的研究帮助建立了FRP的基础，并证明了它在几个应用领域的实用性。 尽管取得了初步的成功，但要使“玻璃钢”成为真实的，还需要做更多的工作。“也就是说，开发一个系统，便于编写反应行为的自然和简洁的描述，响应足够好，以满足最常见的实时约束，将现实世界的对象具体化为一流的信号功能，通过程序优化和并行执行有效地运行在多核架构上，并已在现实世界的应用领域，特别是音频信号处理。 拟议的研究将在三个领域推进整体FRP方法：语言设计（类型系统扩展以捕获资源约束，重新设计离散和连续之间的中介，以及更好的语法以捕获FRP的本质）;语言实现（程序优化，多核执行，异步子流程）;以及验证和测试（重点是实时音频信号处理）。

Functional Reactive Programming, or FRP, is a declarative programming paradigm based on two fundamental abstractions: a continuous (functional) modeling of time-varying behaviors, and a discrete (reactive) calculus of user and process interaction. FRP provides a novel and effective approach to solving problems in which there is a combination of both continuous and discrete entities such as found in computer animation, robotics, control systems, GUIs, and interactive multimedia. FRP?s broader impact is seen in its adoption by several other research projects, and its use in several applications different from those at Yale. The proposed work will strengthen these existing projects, and further broaden the applicability of FRP. The proposed improvements in implementation will make FRP more suitable for compute-intensive applications, such as interactive 3D graphics and real-time audio processing. It will also benefit the modeling and simulation community, which often uses declarative approaches to specifying and solving problems. Previous research at Yale helped to establish the foundations of FRP, and demonstrated its utility in several application domains. Despite this preliminary success, more work is needed to make "FRP for real." That is, to develop a system that facilitates writing natural and concise descriptions of reactive behaviors, responds well enough to satisfy most common real-time constraints, reifies real-world objects as first-class signal functions, runs efficiently through program optimization and parallel execution on multicore architectures, and has been validated in a real-world application domain, specifically audio signal processing. The proposed research will advance the overall FRP methodology in three areas: Language Design (type system extensions to capture resource constraints, a redesign of the mediation between the discrete and continuous, and a better syntax to capture the essence of FRP); Language Implementation (program optimizations, multicore execution, asynchronous sub-processes); and Validation and Testing (with a focus on real-time audio signal processing).