我对 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 是否足够智能来检测不变性。
最佳答案
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 的可表达性等价物),但我不确定是否存在。
关于haskell - Elm中,当信号下的值具有列表等复合类型时,如何高效更新一个元素,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26560544/