haskell - Reactive-Banana 中溢出函数的事件处理顺序是什么？

Question

我对此进行了测试，似乎事件处理的顺序与源事件中列表的顺序相同。我认为我不能依赖这一点，因为文档仅指出:

Emit simultaneous event occurrences. Up to strictness, we have spill . collect = id

如何创建一个类似于溢出的函数，其规范如下:

Emit sequential event occurrences with the guarantee that no other events will fire between the first and last

或者我应该尝试不同的方法？我正在尝试在 Reactive-Banana 中实现宏功能

Answer 1

(我是reactive-banana的作者。)

It seems that the order of event handling is the same as the order of the list in the source event.

这是正确的，您可以信赖。事实上，它或多或少是从方程 spill 得出的。收集=id。毕竟，为了产生恒等映射，spill 必须保留事件的顺序，因为collect 已将它们放入列表中。

此外，您还可以检查模块 Reactive.Banana.Model(版本 0.5 中的 Reactive.Banana.Internal.Model)和 Reactive 的源代码.Banana.Combinators。总而言之，它们给出了权威的模型实现。您可以直接检查 spill 的行为方式。 (尽管这可能有点令人困惑，因为模型是由两部分构建的。)

尽管如此，我还是要在文档中添加几句话。