Principles of Functional Reactive Programming

函数式反应式编程原理

• 批准号: 9900957
• 负责人: Paul Hudak
• 金额: $ 24.99万
• 依托单位: Yale University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-08-01 至 2001-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9900957&HistoricalAwards=false
• 关键词: Principles; Functional; Reactive; Programming

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.

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