函数式反应式编程(FRP) 是一种采用函数式编程的基础部件（如map、reduce、filter等）进行反应式编程（异步数据流程编程）的编程范式。FRP 被用于GUI、机器人和音乐方面的编程，旨在通过明确时间模型来简化这些问题。
FRP 的形式.自 1997 年 FRP 被提出以来，它产生了多种形式。其中一条多样性的坐标轴是语义从离散到连续。 另一条轴是 FRP 系统可以如何被动态地更改。
离散.如事件驱动 FRP 和 Elm 0.17 版本之前的形式那样