功能性香蕉旅行者 - 将行为与游戏状态结合在一起

问题是我不知道如何创建类型的行为Behavior t GameState

我有更多代码，但我试图仅展示我认为讨论该问题所必需的内容。如果有空白需要填写，请告诉我。这是我所拥有的：

data GameState = GameState {agent    :: Agent
                           ,universe :: Universe
                           }

type Universe = Gr Planet ()

data Command = Move PlanetName
             | Look
             | Quit
                 deriving Show

data PlayerCommand = PlayerCommand Command PID
                   | Null
                       deriving Show

updateGS :: PlayerCommand -> GameState -> GameState
updateGS (PlayerCommand (Move planet) pid) gs =
   let agent = getAgent pid gs
       nodes = labNodes $ universe gs
       current = location agent
       Just fromP = lookup (fromEnum current) nodes
       Just toP   = lookup (fromEnum planet) nodes
       fromNode = fromEnum current
       toNode = fromEnum planet
       uPlayer = Player pid (getPlanetName toP) (Location planet)
       mData = MoveData uPlayer (toNode,toP) (fromNode,fromP) nodes
       uPlanets = updateLNodeList mData
   in GameState uPlayer (mkGraph uPlanets $ labUEdges gates

initialGS :: GameState
initialGS = GameState initPlayer (makeUniverse makePlanetNodes)

和事件网络

makeNetworkDescription :: AddHandler PlayerCommand -> IO EventNetwork
makeNetworkDescription addCommandEvent = compile $ do
   eInput <- fromAddHandler addCommandEvent
   let bCommand = stepper Null eInput
   eCommandChanged <- changes bCommand
   let bGameState :: Behavior t GameState
       bGameState = stepper initialGS 
   reactimate $ (\n -> appendFile "output.txt" ("Command is " ++ show n)) <$> eCommandChanged

我相信 bGameState 需要使用 eCommandChange，但我遇到了类型问题

stepper :: a -> Event t a -> Behavior t a

这让我相信我需要改变eInput :: Event t PlayerCommand变成一个eGameState :: Event t GameState，我可以使用它stepper使Behavior t GameState

所以，我的问题是，我的思路正确吗？如果没有的话，可以重新引导我吗？如果是这样的话，会怎样eGameState :: Event t GameState看起来像？

针对下面的回复。当我考虑accumB最初，我看到了一个类型错误。这就是我尝试你的建议时发生的情况。

let bGameState :: Behavior t GameState
    bGameState = accumB initialGS $ updateGS <$ eInput

产生错误

 Couldn't match expected type `GameState'
             with actual type `PlayerCommand'
 Expected type: GameState -> GameState
   Actual type: PlayerCommand -> GameState -> GameState
 In the first argument of `(<$)', namely `updateGS'
 In the second argument of `($)', namely `updateGS <$ eInput'

不知道该怎么办。我会看看你的例子，看看答案是否清楚。感谢您指出accumB是正确的方法，因为我专注于stepper

我越研究建议的代码，我就越对类型错误感到困惑。

事实上，您需要创建一个事件来记住GameState并应用updateGS函数来创建一个新的。这就是该函数的目的accumE和它的表弟accumB。特别是，你可以写

bGameState = accumB initialGS $ updateGS <$> eInput

要了解有关此模式的更多信息，请查看示例页面 http://www.haskell.org/haskellwiki/Reactive-banana/Examples，特别是 Counter.hs 和 TwoCounters.hs 示例。

另一点值得一提的是，我建议避免changes除非你正在处理低级框​​架的东西，否则它不会起作用。正如文档中所述，它有几个限制；最糟糕的限制是该值在以下情况之前不可用reactimate被处决。你可以很容易地用这种方式制作一个无限循环，它的目的确实非常狭窄。

就你而言，bCommand无论如何看起来都是多余的，你有eCommandChanged = eInput.

士气：将事件转变为行为很容易，但没有回头路。