如何在反应香蕉中创建一元行为

Question

假设我捕获按键并相应地操作代码缓冲区：

let
    bCode = accumB emptyCode eModifications
eCodeChanges <- changes bCode

我想创建另一个行为bEval

bEval = accumB freshEnv (magic eCodeChanges)

将任何代码状态映射到其评估（仅在某些事情真正发生变化时触发）。

但是，评估发生在 monad Interpreter 中（想想来自 hackage 的 hint）。我真的可以定义这样的行为bEval吗？我想我可以将Interpreter String 拖到我行为中的状态，与currentAccumState >>= eval nextEvent 累积，但我将在哪里runInterpreter 实际强制评估？

---

编辑：重要的是动作不仅仅是IO ()，而是应该修改一些状态。例如，考虑清除缓冲区/重置计数器/在拉链周围移动。

我的想法是这样的：

f :: a -> Maybe (b -> IO b)

mapJustIO :: (a -> Maybe (b -> IO b)) -> Event t a -> Event t (b -> IO b)
mapJustIO f e = filterJust $ f <$> e

accumIO :: a -> Event t (a -> IO a) -> Behaviour t (IO a)
accumIO z e = fold (>>=) (return z) e

我不明白为什么不能有这样的东西。但是，我也不知道如何在行为中摆脱 IO :)。

为什么IO 没有出现在reactive-banana 实际上只有MonadIO？

Answer 1

简短的回答是，accumB 等组合子只能与 pure 函数一起使用。它们不能使用来自 IO monad（或其他类似 IO 的 monad，如 Interpreter）的函数，因为无法以任何有意义的方式定义操作顺序。

要使用 IO 操作，Reactive.Banana.Frameworks 中的组合子是合适的。例如，您可能想要一个类似

的函数

mapIO' :: (a -> IO b) -> Event a -> MomentIO (Event b)

请参阅previous answer 了解更多信息。

对于来自hint 的Interpreter monad，我建议在主线程中运行它，为您的FRP 逻辑分叉一个单独的线程，并使用TVars 或TChan 进行两者之间的通信. （我喜欢称之为forklift pattern）。这样，您就可以从IO 访问Interpreter monad。