期刊
ACM SIGPLAN NOTICES
卷 51, 期 12, 页码 33-44出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/2976002.2976010
关键词
functional reactive programming; reactive programming; stream programming; monadic streams; Haskell
资金
- German Research Council (DFG) from the PRESTY2 project [ME/14276-2]
Functional Reactive Programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. This paper investigates this commonality, turning it into a mathematically coherent and practical FRP realisation that allows us to express the functionality of many existing FRP systems and beyond by providing a minimal FRP core parameterised on a monad. We give proofs for our theoretical claims and we have verified the practical side by bench-marking a set of existing, non-trivial Yampa applications running on top of our new system with very good results.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据