Python中函数式反应式编程的现状如何？

Question

我找到了一篇名为“实用函数式反应式编程”的this论文，作者(据我所知)试图以Yampa的精神用Python语言创建一个FRP库。

我还发现了以SPJ为特色的these有趣的幻灯片！这些幻灯片似乎得出结论，在动态类型的语言中实现FRP并不那么容易-不幸的是，这些幻灯片中的要点并没有真正解释原因。

为什么在Python中没有那么多的FRP实现呢？为什么它在Haskell中更流行？FRP真的需要静态类型吗？在FRP中通过静态类型我们能得到多少？它是非常必要的，还是可以没有它(如果一个人只写了几千行FRP代码)？

我真的想知道，如果SodiumFRP可以在C，Java，Haskell等语言中实现，那么Python有什么问题呢？

值得注意的是，在JS中目前也没有真正的FRP实现(2015.08.04)，所以这表明Python中缺乏静态类型是原因，但我并不信服，因此出现了问题。

更新:有趣的是，我在Python语言中遇到了Flow Based Programming。FBP和FRP之间有何关系？它们似乎只有一点点不同，至少，当我比较缩写词中间字符的底部时，我会有这种第一印象。

Answer 1

"The Reactive Extensions for Python (RxPY)"是最接近使用Python的FRP的imho。

Answer 2

还有aioreactive，它利用了更新的语言特性，比如异步/等待。