简体繁体 English

优化玻璃钢系统

[英]Optimizing FRP Systems

原文 2013-05-13 13:20:15 5 2 haskell/ frp

I have to write a paper on optimizations of Functional Reactive Programming (FRP) systems. 我必须写一篇关于功能性反应式编程（FRP）系统优化的论文。

Here are the the references I have found so far. 这是我到目前为止找到的参考。

Dynamic Optimization for Functional Reactive Programming using Generalized Algebraic Data Types , Henrik Nilson 使用广义代数数据类型的功能性无功编程的动态优化 ，Henrik Nilson
Lowering: A Static Optimization Technique for Transparent Functional Reactivity , Kimberly Burchet et al. 降低：透明功能反应性的静态优化技术 ，Kimberly Burchet等。

Besides that, has anyone any other references or suggestions how to optimize the graphs of FRP systems? 除此之外，还有没有其他参考或建议来优化FRP系统的图形？

2 个解决方案

See the causal commutative arrows stuff here: http://haskell.cs.yale.edu/publications/publications-chronologically/ 在此处查看因果可交换箭头的内容： http : //haskell.cs.yale.edu/publications/publications-chronologicly/

There's also a very nice related work section at the end of the pldi Elm paper, which gives a bunch of references one may wish to chase down: http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf 在pldi Elm论文的末尾还有一个非常不错的相关工作部分，其中提供了一些大家可能希望追逐的参考文献： http : //people.seas.harvard.edu/~chong/pubs/pldi13-elm .PDF

Suggestion: Don't think of FRP in terms of graphs or other concrete representations. 建议：不要以图形或其他具体表示形式来考虑FRP。 Then imagine other possibilities such as code generation, perhaps using the GHC API or LLVM. 然后想象其他可能性，例如代码生成，也许使用GHC API或LLVM。