SHF: Medium: Collaborative Research: FRP for Real

功能反应式编程，或FRP，是一种基于两个基本抽象的声明性编程范例：对时变行为的连续(功能)建模，以及对用户和进程交互的离散(反应式)演算。FRP提供了一种新颖而有效的方法来解决既有连续实体又有离散实体的问题，如计算机动画、机器人、控制系统、图形用户界面和交互式多媒体中的实体。FRP的广泛影响体现在它被其他几个研究项目采用，以及它在几个与耶鲁大学不同的应用中的使用上。拟议的工作将加强这些现有的项目，并进一步扩大玻璃钢的适用性。拟议的实施改进将使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).