Plugging a Space Leak with an Arrow
Plugging a Space Leak with an Arrow
复制标题
用箭头堵住空间泄漏
DOI：
10.1016/j.entcs.2007.10.006
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
P. Hudak
中科院分区：
文献类型：
--
作者：
Hai Liu;P. Hudak
对函数式反应式编程（FRP）中概念连续信号的实现进行了详细研究。我们表明，递归信号在标准实现中使用流和延续导致潜在的严重的时间和空间泄漏，根据传统的呼叫需要评估。然而，通过移动到信号函数的级别，并围绕箭头构建设计，可以避免此类时间和空间泄漏。我们进一步表明，使用最优约简也可以避免这个问题，代价是一个更复杂的评估。
The implementation of conceptually continuous signals in functional reactive programming (FRP) is studied in detail. We show that recursive signals in standard implementations using streams and continuations lead to potentially serious time and space leaks under conventional call-by-need evaluation. However, by moving to the level of signal functions, and structuring the design around arrows, this class of time and space leaks can be avoided. We further show that the use of optimal reduction can also avoid the problem, at the expense of a much more complex evaluator.