FRP 中的 Behavior 和 Event 有什么区别？

Question

我目前正在阅读WebSharper 的文档。在the section about FRP 中，它声明：

函数响应式编程 (FRP) 通常为事件流提供 Event 类型，为时变值提供 Behavior 类型，并提供有用的组合器。

...

但是，目前我们决定避免实施 FRP。相反，我们专注于功能的子集，定义类似于行为的随时间变化的视图值，但不支持实时采样。事件流留给用户使用回调或第三方库来处理。这是对 FRP 的极大简化，并且更容易有效地实施。

随着 JavaScirpt 中的弱指针变得可用，这个决定可能会被修改，特别是考虑到 OCaml React 的成功。

在不久的将来，我们打算提供并发 ML 组合器，以更好地支持处理事件流并改进组件的组合。

但是，我不确定此处描述的“事件类型”和“行为类型”之间究竟有什么区别。我在 Google 上搜索了一些文章/教程，但它们似乎也不是很明确。

我不确定在 WebSharper 的实现中没有“事件”会错过什么。

对不起，如果这个问题听起来很基础。我不熟悉 FRP 相关的概念。

--

编辑：我想我在FRP - Event streams and Signals - what is lost in using just signals? 找到了我对没有事件流的问题的疑问的答案。要点是：

1. 事件流允许累积更新，而行为只能取决于观察到的元素的当前值。

2. 如果事件和行为都实现了，它们允许在系统内递归。

Answer 1

events 和 behaviours 之间的区别可以追溯到 Functional Reactive Animations (PDF) 上的第一篇论文，它很好地解释了这种区别。这个想法是：

• 行为表示随时间变化的值 - 例如，鼠标 X 坐标随时间变化，但它总是有一些值。

• 事件代表系统中的离散事件 - 它们时不时地发生并且可以触发一些变化，但并不总是具有价值。例如，鼠标点击可以发生，但你不能问“点击的当前值是多少”。

这些作为理论想法非常好，因为您可以对行为和事件做不同的事情，并且它们很好地捕捉了反应系统中不同类型事物背后的一些直觉。

但在实践中，实现起来相当棘手 - 大多数“行为”表示最终都使用采样，因此它们的行为很像离散事件（可能是因为这就是计算机的工作方式？）因此只有少数系统实际上遵循原来的严格区分。