前额

实用的FRP原则:忘记过去,改变未来,FRPNow!我们提出了一种实用的功能反应式编程(FRP)的新接口,它(1)在精神上接近于原始的FRP思想,(2)不存在原始的空间泄漏问题,不使用箭头或高级类型,以及(3)提供了一种从FRP代码执行IO操作的简单和表达方式。我们还为这个新的接口提供了一种指称语义,以及一种技术(使用Kripke逻辑关系)来推理哪些FRP函数可能“忘记它们的过去”,即哪些函数没有固有的空间泄漏。最后,我们展示了如何将这个接口实现为一个名为FRPNow的Haskell库。

zbMATH中的参考文献(参考文献1条)

显示结果1/1。
按年份排序(引用)

  1. 普洛格,阿特兹·范德;克莱森:实用的FRP原则:忘记过去,改变未来,FRPNow!(2015年)