Elm 的创建者 Evan Czaplicki 就多种形式的函数式反应式编程进行了演讲 @ https://youtu.be/Agu6jipKfYw。不同实现之间的区别之一是使用高阶 FRP,但我仍然看不到它的价值。
给定一个定义为随时间变化的值的信号:
Signal a :: Time -> a
那么更高的 FRP 将是
Signal (Signal a)
这相当于
Time -> Time -> a
但这在现实世界中代表什么?这将解决常规 FRP 无法解决的哪些问题?