haskell - 具有状态更新的状态相关事件处理

Question

我想使用 FRP(即 react 性香蕉 0.6.0.0)来 my project (GDB/MI 前端)。但我在声明事件网络时遇到了麻烦。

有来自 GUI 的命令和来自 GDB 的停止事件。两者都需要处理，处理它们取决于系统的状态。

我当前的方法如下所示(我认为这是显示问题所需的最低复杂性):

data Command = CommandA | CommandB
data Stopped = ReasonA  | ReasonB
data State = State {stateExec :: Exec, stateFoo :: Int}
data StateExec = Running | Stopped

create_network :: NetworkDescription t (Command -> IO ())
create_network = do
    (eCommand, fCommand) <- newEvent
    (eStopped, fStopped) <- newEvent
    (eStateUpdate, fStateUpdate) <- newEvent

    gdb <- liftIO $ gdb_init fStopped

    let
      eState = accumE initialState eStateUpdate
      bState = stepper initialState eState

    reactimate $ (handleCommand gdb fStateUpdate <$> bState) <@> eCommand
    reactimate $ (handleStopped gdb fStateUpdate <$> bState) <@> eStopped

    return fCommand

handleCommand 和 handelStopped 根据当前状态对命令使用react并停止事件。可能的 react 是调用(同步)GDB I/O 函数和触发状态更新事件。例如:

handleCommand :: GDB -> ((State -> State) -> IO ()) -> State -> Command -> IO ()
handleCommand gdb fStateUpdate state CommandA = case stateExec state of
   Running -> do
     gdb_interrupt gdb
     fStateUpdate f
 where f state' = state' {stateFoo = 23}

问题是，当f被accumE求值时，state'有时与state不同。

我不是 100% 确定为什么会发生这种情况，因为我不完全理解时间和同时性的语义以及响应式(Reactive)香蕉中“重新激活”的顺序。但我猜想由 handleStopped 触发的状态更新函数可能会在 f 之前进行评估，从而改变状态。

无论如何，这个事件网络会导致状态不一致，因为f对“当前”状态的假设有时是错误的。

我已经尝试解决这个问题一个多星期了，但我就是无法弄清楚。非常感谢任何帮助。

Answer 1

您似乎希望在 eStop 或 eCommand 发生时发生 eStateUpdate 事件？

如果是这样，您可以简单地将其表示为两个事件的并集:

let        
    eStateUpdate = union (handleCommand' <$> eCommand)
                         (handleStopped' <$> eStopped)

    handleCommand' :: Command -> (State -> State)
    handleStopped' :: Stopped -> (State -> State)

    eState = accumE initialState eStateUpdate

    etc.

请记住:事件的行为类似于普通值，您可以将它们组合起来创建新的值，而不是编写一系列回调函数。

仅当您想从外部导入事件时才应使用 newEvent 函数。 eCommand 和 eStopped 就是这种情况，因为它们是由外部 GDB 触发的，但 eStateUpdate 事件似乎是网络内部的。

<小时/>

关于当前代码的行为，reactive-banana 在接收外部事件时始终执行以下操作:

1. 计算/更新所有事件发生和行为值。
2. 按顺序运行重新激活。

但是步骤 2 很可能会再次触发网络(例如通过 fStateUpdate 函数)，在这种情况下，网络会计算新值并调用 reactimate 再次，作为此函数调用的一部分。此后，流量控制返回到仍在运行的第一个reactimates序列，第二次调用fStateUpdate将产生奇怪的效果:网络内部的行为已被改变。已更新，但此调用的参数仍然是旧值。像这样的事情:

reactimate1
reactimate2
    fStateUpdate      -- behaviors inside network get new values
        reactimate1'
        reactimate2'
reactimate3           -- may contain old values from first run!

显然，这很难解释，也很难推理，但幸运的是，如果您坚持上述准则，就没有必要。

<小时/>

从某种意义上说，后一部分体现了以传统风格编写事件处理程序的技巧性，而前一部分体现了以 FRP 风格进行事件编程的(相对)简单性。

黄金法则是:

处理事件时不要调用另一个事件处理程序。

您不必遵守此规则，它有时很有用；但如果你这样做的话事情就会变得复杂。