This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
复制标题
这让我抓狂：箭头化功能反应程序中的高效循环
DOI：
10.1145/3609026.3609726
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Keating F
中科院分区：
文献类型：
--
作者：
Keating F
Arrowized Functional Reactive Programming（AFRP）是一种基于Haskell中箭头抽象的声明式编写反应式程序的方法。虽然AFRP优雅地表达了一个反应式系统的输入和输出之间的关系，但幼稚的实现却表现不佳。特别是，theloopcombinator依赖于懒惰的语义：这造成的开销懒惰的评价，同时防止现有的优化技术被应用到它。我们提出了一种新的程序转换，利用箭头和ArrowLoop法转换成限制的形式，有一个执行顺序是已知的，在编译时，因此可以严格执行典型的使用ofloop。我们评估从我们的转换获得的性能，并证明转换是正确的。
Arrowized Functional Reactive Programming (AFRP) is one approach to writing reactive programs declaratively, based on the arrows abstraction in Haskell. While AFRP elegantly expresses the relationships between inputs and outputs of a reactive system, na'ive implementations suffer from poor performance. In particular, theloopcombinator depends on lazy semantics: this inflicts the overheads of lazy evaluation and simultaneously prevents existing optimisation techniques from being applied to it.We present a novel program transformation which utilises the Arrow and ArrowLoop laws to transform typical uses ofloopinto restricted forms that have an execution order that is known at compile-time and therefore can be executed strictly. We evaluate the performance gained from our transformations and prove that the transformations are correct.
登录
查看更多内容
影响因子：
1.5
作者：
Henrik Nilsson;A. Courtney;John Peterson
通讯作者：
Henrik Nilsson;A. Courtney;John Peterson
FRP 可设置且无干扰的信号功能
DOI：
--
发表时间：
2014
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Daniel Winograd;P. Hudak
通讯作者：
P. Hudak
箭头、机器人和函数式反应式编程
DOI：
10.1007/978-3-540-44833-4_6
发表时间：
2002
期刊：
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
影响因子：
--
作者：
P. Hudak;A. Courtney;H. Nilsson;J. Peterson
通讯作者：
J. Peterson
重新审视因果交换箭头
DOI：
--
发表时间：
2016
期刊：
ACM SIGPLAN Symposium/Workshop on Haskell
影响因子：
--
作者：
J. Yallop;Hai Liu
通讯作者：
Hai Liu
高阶符号计算手稿号《面对变化保持冷静，通过变化推理实现FRP优化》
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Neil Sculthorpe;Henrik Nilsson
通讯作者：
Henrik Nilsson