haskell - Functional Banana Traveler - 我的滴答事件有什么问题？

Question

我正在尝试实现一个滴答事件，并在下面进行了一个小测试，证明它不起作用。我很想知道为什么它不起作用。

gameloop :: TChan UAC ->
            IO ()
gameloop commandChannel = do 
   (tickHandler, tickSink) <- newAddHandler
   networkDescr <- compile $ makeNetworkDescription commandChannel tickHandler
   actuate networkDescr
   forkIO $ forever $ (timer 10) >>= tickSink
   return ()


makeNetworkDescription :: forall t . Frameworks t =>
                          TChan UAC ->
                          AddHandler () ->
                          Moment t ()
makeNetworkDescription commandChannel tickHandler = do
   eTick <- fromAddHandler tickHandler
   bCChannel <- fromPoll $ grabCommands commandChannel

-- test fromPoll

   test <- initial bCChannel
   liftIO $ appendFile "testPoll.txt" $ show test

-- end fromPoll test

   let eCChannel = bCChannel <@  eTick
   liftIO $ print "hi there\n"
   reactimate $ (\n -> appendFile "Commands.txt" (show n)) <$> eCChannel


grabCommands :: TChan UAC -> IO [UAC]
grabCommands unval = do
   result <- (atomically $ readTChan unval) `untilM` (atomically $ isEmptyTChan unval)
   liftIO $ print $ show result
   return result

timer :: TimeOut -> IO ()
timer ms = do
   threadDelay ms

下面是一些测试数据。

main :: IO ()
main = do
   commandChan <- atomically $ newTChan :: IO (TChan UAC)
   forkIO $ gameloop commandChan
   liftIO $ print "back from fork\n"
   atomically $ populateCC commandChan playerCommands
   return ()

populateCC :: TChan UAC -> [UAC] -> STM ()
populateCC pChannel pCommands = mapM_ (writeTChan pChannel) pCommands

playerCommands =
   [UAC (PlayerCommand (CommandData (T.pack "1" :: AID) Look) (T.pack "1")),
    UAC (PlayerCommand (CommandData (T.pack "2" :: AID) (Move Mongo)) (T.pack "2"))
   ]

当我执行上述 Main我得到这个输出。

"back from fork\n"
"[UAC (PlayerCommand (CommandData \"1\" Look) \"1\"),UAC (PlayerCommand (CommandData    \"2\" (Move Mongo)) \"2\")]"
"hi there\n"

文件 Commands.txt永远不会存在。我将此问题归因于错误的滴答事件。

我从 this 得到了关于定时器实现的想法，但想知道我是否以错误的方式思考这个问题。有任何想法吗？

编辑:我想要一些保证 fromPoll做正确的事。我添加了上面的测试，它是。

Answer 1

在我看来，问题不在于滴答事件，而在于您将玩家命令建模为 Behavior .

如果您从外延角度思考并想象行为是随时间变化的值 Behavior a = Time -> a ，以这种方式模拟玩家命令有意义吗？例如，3s 之间的时间范围内的玩家命令是什么？和 4s ?你给 fromPoll 的论点是什么？尊重这些语义？

问题是grabCommands有一个严重的副作用:调用它会从 channel 中删除命令，因此它甚至不是幂等的。此外，它会在没有可用命令时阻塞。我认为这最终是滴答事件不起作用的原因:网络被阻止试图执行 fromPoll行动。然而，潜在的问题更为深刻:建模玩家命令的正确方法是使用 Event ，不是 Behavior .