反应性香蕉的行为

Question

请原谅，我刚刚开始研究反应香蕉和玻璃钢。

反应式香蕉的作者做了这个示例我的建议是，他创建一个可以增加和减少的计数器。他使用accumE函数来累积事件。我想我能够对事件类型有所了解，并且能够用它测试很多东西，但后来我想起还有行为。我调查了它，但似乎该行为应该在类似的情况下使用；修改现有变量，就像 AccumE 对事件所做的那样。

行为是什么意思，它的用例是什么？

Answer 1

我同意 Ankur 而不是 Chris 的观点：文本框是随着时间的推移而产生的值，因此自然希望成为一种行为而不是事件。 Chris 给出的事件选择不太自然的原因是实现问题，因此（如果准确的话）是反应式香蕉实现的不幸的产物。我更愿意看到实现的改进，而不是不自然地使用范例。

除了语义匹配之外，选择行为而不是事件在实用上也非常有用。例如，您可以使用Applicative 操作（例如liftA2）将随时间变化的文本框值与其他随时间变化的值（行为）组合起来。

Answer 2

从语义上讲，您有

Behavior a = Time -> a

即，行为 a 是随时间变化的 a 类型的值。一般来说，您对Behavior a何时会发生改变一无所知，因此事实证明，通过点击 a 来更新文本字段是一个相当糟糕的选择。按钮。也就是说，很容易得到一个表示计数器示例中数字的当前值的行为。只需在事件流上使用 stepper，或者以相同的方式从头开始构建它，只不过使用 accumB 而不是 accumE。

通常，连接到输入和输出的事物始终是Event，因此Behavior在内部用于中间结果。

假设在给定的示例中，您想要添加一个记住当前值的新按钮，就像简单计算器上的记忆功能一样。您将首先添加一个记忆按钮和一个用于记住值的文本字段：

bmem    <- button f [text := "Remember"]
memory  <- staticText f []

您需要能够随时询问当前值，因此在您的网络中，您需要添加一个行为来表示它。

let currentVal = stepper 0 counter

然后，您可以连接事件，并在每次按下“记住”按钮时使用 apply 读取行为的值，并使用该值序列生成一个事件。

emem <- event0 bmem command
let memoryE = apply (const <
gt; currentVal) emem

最后，将这个新事件连接到输出

sink memory [text :== ("", show <
gt; memoryE)]

如果您想在内部使用内存，那么您也需要为其当前值提供一个行为......但因为我们只使用它来将其连接到输出，我们现在只需要一个事件。

这有帮助吗？

Answer 3

图书馆作者讲话。 :-)

显然，Chris Smith 可以读懂人心，因为他准确地描述了我的想法我在想。 :-)

但是 Conal 和 亚瑟也有道理。从概念上讲，计数器是一个随时间变化的值，而不是事件发生的序列。因此，将其视为一种行为会更合适。

不幸的是，行为没有附带任何有关何时改变的信息，它们是“仅限民意调查”的。现在，我可以尝试实现各种巧妙的方案，最大限度地减少轮询，从而实现 GUI 元素的高效更新。 （Conal 在原始论文中做了类似的事情。）但我采用了“没有魔法”的哲学：库用户应负责自己通过事件管理更新。

我目前设想的解决方案是提供除了 Event 和 Behavior 之外的第三种类型，即 Reactive （名称取决于变化），它体现了两者的品质：从概念上讲，它是一个随时间变化的值，但它也带有一个通知变化的事件。一种可能的实现是：

type Reactive a = (a,Event a)

changes :: Reactive a -> Event a
changes (_, e) = e

value :: Reactive a -> Behavior a
value   (x, e) = stepper x e

毫不奇怪，这正是 sink 所期望的类型。这将包含在reactive-banana 库的未来版本中。

编辑：我已经发布了reactive-banana 版本0.4 其中包括新类型，现在称为Discrete。

Answer 4

一般来说，行为是在一段时间内发生变化的值。它是一个连续值，而事件是离散值。对于行为，值始终存在。
例如：文本框中的文本是一种行为，因为文本可以在一段时间内发生变化，但会有一个当前值，而作为事件中的键盘笔划，您无法查询键盘笔划的“当前”值价值。