haskell - Elm中，当信号下的值具有列表等复合类型时，如何高效更新一个元素

Question

我对 Elm 比较陌生，我被 Elm 处理 GUI 的方式深深吸引。但经过一番深思熟虑，我发现很难有效地更新列表或手指树中的一个元素(就像 Haskell 中的手指树，如果它已经存在于 Elm 库中)，它位于 Signal 下，并且它的大小也各不相同与时间赛跑。

具体来说，要表达动态手指树，我们必须编写

Signal [ {-the finger tree's element type-} ]

但是如果我们只想有效地更新手指树的一个元素，我们必须编写

Signal [ Signal {-the core data type-} ]

但是Elm中的Signal并不是Monad，那么如何将两层Signal扁平化为一层呢？

评论1:我不知道Elm在这种情况下的具体表现。重新处理整个手指树只是我的猜测。

注释2:例如，假设我们有一个信号值，标记为s，类型为Signal (fingerTree Int)，以及以下函数，标记为f，其输入为s，例如，lift (fmap (+1))，其类型为Signal (fingerTree Int) -> 信号(fingerTree Int)。如果 s 仅更改了一个元素，则函数 f 必须对 s 的每个元素重新执行 (+1) 操作。显然，这是浪费时间，而且我不确定 Elm 是否足够智能来检测不变性。

Answer 1

TL;DR:将逻辑/数据处理实现为纯函数，并提升它们来转换信号。

诀窍是编写一个函数 processList : [elementType] -> [elementType] 来提供您想要的逻辑(检查第三个元素是否是 wibbler 并将其更改为 wobbler 或其他元素)你想做的)，然后使用具有类型的 lift 函数

lift : (a -> b) -> Signal a -> Signal b

像lift processList mySignalThatProducesLists一样，使用processList编辑mySignalThatProducesLists生成的数据。

这里的主要思想是将逻辑和数据处理编码为纯函数，然后使用 lift 将它们用作信号转换器。就像每次源信号中的数据更新时，Elm 都会自动重新应用该函数。

如果您习惯使用 Haskell 进行编程，您可以将 Signal a 视为某些不透明 Time 类型的 Time -> a 的新类型包装器，并且 lift为fmap。您不需要有 monad 来编辑数据。

还有 lift2 和 lift3 函数用于具有多个参数的提升函数，因此再次使用 Haskell 类比，您本质上拥有 Applicative 仿函数的功能那里。

他们没有 Monad 的原因是它强加了降低效率的实现细节。可能有一些我没有发现的 ArrowApply 的等价物(这会给你 Monad 的可表达性等价物)，但我不确定是否存在。