Helm 中的样本是什么？

Question

Haskell FRP 库 Helm 中似乎没有太多关于 Sample a 的文档。我正在尝试在 Elm 中编写类似于 sample on 的函数，我认为 update 可以提供帮助。但是我对update 的工作原理感到困惑，因为从源代码here 看来，变量p 似乎根本没有使用。

这个函数应该做什么？如果不使用输入p，为什么要包含它？有一个更好的方法吗？我认为seq 可以工作，但我尝试使用seq 实现我的动画，但它并没有达到我想要的效果。

Answer 1

可能存在第一个论点是出于历史原因或与 helm 提供的其他功能的一致性；但我对任何一个都不太了解。

update 函数的预期用途似乎是将适当的构造函数包装在其参数周围：update p a s 将导致 Changed a 或 Unchanged a，具体取决于 a 是否与存储在s。例如，可以将其用作foldp 的参数：

foldp (update undefined) :: Eq a => Sample a -> Signal a -> Signal (Sample a)

然后，下游信号可以轻松忽略 Unchanged 值。