Question

我正在尝试实现一个tick事件，并在下面进行一些测试，证明它不起作用。我很欣赏它为什么不起作用的见解。

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永远不会存在。我将此问题归因于错误的tick事件。

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

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

Answer 1

在我看来，问题不在于tick事件，而在于您将播放器命令建模为Behavior。

如果你从语义上思考并想象一个行为是一个时变值Behavior a = Time -> a，那么以这种方式模拟玩家命令是否有意义？例如，3s和4s之间的时间范围是什么？你给fromPoll的论点是否尊重这些语义？

问题是grabCommands有严重的副作用：调用它会从通道中删除命令，因此它甚至不是幂等的。此外，当没有可用命令时，阻止。我认为这最终是tick事件不起作用的原因：网络被阻止尝试执行fromPoll操作。但是，潜在的问题更为深刻：建模玩家命令的正确方法是使用Event，而不是Behavior。

功能性香蕉旅行者 - 我的嘀嗒事件有什么问题？

1 个答案: