Principles of Functional Reactive Programming

9900957 Hudak， paul函数式反应式编程（functional Reactive programming， FRP）是一种以声明式风格编程混合系统的方法，使用两种特定的抽象：任意行为的连续（功能）模型，以及用于用户和进程交互的离散（反应性）演算。FRP是我们之前研究过的两种领域特定语言的基本思想的概括：Fran，一种用于功能反应图形和动画的语言，以及Frob，一种用于功能机器人的语言。我们相信FRP可以为快速可靠地创建混合软件系统提供一个统一的框架，从简单的行为循环到涉及复杂控制策略和多个交互模块的大型系统。本研究的目标是进一步发展FRP的思想，研究FRP的基本原理，并探索基于FRP分析、转换和最终实现领域特定语言的方法。该研究将强调在编程语言语义社区中常用的技术的使用。要研究的问题包括：具有连续行为的小型反应性语言的表意和操作语义，从第一原则合成的实现（即相对于规范的正确性），以及使用数值方法模拟连续行为的实际后果。

9900957 Hudak, PaulFunctional Reactive Progamming, or FRP, is an approach to programming hybrid systems in a declarative style using two particular abstractions: a continuous (functional) model of arbitrary behaviors, and a discrete (reactive) calculus for user and process interaction. FRP is a generalization of the fundamental ideas underlying two domain-specific languages that we have previously worked on: Fran, a language for functional reactive graphics and animation, and Frob, a language for functional robotics. We believe that FRP can provide a unified framework for rapidly and reliably creating hybrid software systems ranging from simple behavioral loops to large systems involving complex control strategies and multiple interacting modules. The objectives of this research are to further develop the ideas in FRP, study the principles underlying FRP, and explore ways to analyze, transform, and ultimately implement, domain-specific languages based on FRP. The research will emphasize the use of techniques common in the programming language semantics community. Amongst the issues to be investigated are: denotational as well as operational semantics for a small reactive language with continuous behaviors, an implementation synthesized from first principles (i.e. correct with respect to a specification), and practical ramifications of using numerical methods to simulate continuous behaviors.