Functional reactive programming, continued
Functional reactive programming, continued
复制标题
DOI：
10.1145/581690.581695
复制
发表时间：
2002-10
影响因子：
1.5
通讯作者：
Henrik Nilsson;A. Courtney;John Peterson
中科院分区：
文献类型：
--
作者：
Henrik Nilsson;A. Courtney;John Peterson
函数式反应编程(FRP)用时间流的概念扩展了宿主编程语言。ARROWIZED FRP(AFRP)是嵌入在Haskell中的基于箭头组合符的FRP版本。AFRP是一种强大的同步数据流编程语言，具有混合建模功能，将高级同步数据流功能与Haskell的高阶惰性函数抽象结合在一起。在本文中，我们描述了AFRP编程风格和我们基于Haskell的实现。特别令人感兴趣的是支持动态集合和基于延续的切换的AFRP组合器。我们展示了如何使用这些组合符来表示具有发展中的结构的系统，而这些结构很难用更传统的数据流语言建模。
Functional Reactive Programming (FRP) extends a host programming language with a notion of time flow. Arrowized FRP (AFRP) is a version of FRP embedded in Haskell based on the arrow combinators. AFRP is a powerful synchronous dataflow programming language with hybrid modeling capabilities, combining advanced synchronous dataflow features with the higher-order lazy functional abstractions of Haskell. In this paper, we describe the AFRP programming style and our Haskell-based implementation. Of particular interest are the AFRP combinators that support dynamic collections and continuation-based switching. We show how these combinators can be used to express systems with an evolving structure that are difficult to model in more traditional dataflow languages.