功能性香蕉旅行者 - 输入处理

Question

这是我Traveller项目的一个子问题。

我把处理输入的粗俗代码放在一起。它有效，直到我向混合中引入TChan。下面是工作代码，以及如何使用它的示例。然后，我将改变它并解释我为什么这样做。然后，我将谈论这个问题。

{-# LANGUAGE ScopedTypeVariables #-}
import Control.Monad (forever)
import Control.Concurrent (forkIO)
import Control.Monad.STM (STM,atomically)
import Control.Concurrent.STM.TChan
import Reactive.Banana
import Reactive.Banana.Frameworks


data Planet = Vulcan
            | Mars
            | Terra
                deriving (Eq,Read,Show)

data Command = Move Planet
             | Look
             | Quit
             | Null
                deriving Show

makeNetworkDescription :: AddHandler (Maybe Command) -> IO EventNetwork
makeNetworkDescription addCommandEvent = compile $ do
   eInput <- fromAddHandler addCommandEvent
   let eCommand = filterJust eInput 
       bCommand = stepper Null eCommand 
   eCommandChanged <- changes bCommand

reactimate $ (\n -> appendFile "output.txt" ("Command is " ++ show n)) <$>  
eCommandChanged

在ghci中执行以下操作将证明这是有效的。

(addCommandEvent,fireCommand) <- newAddHandler :: IO (AddHandler (Maybe Command),Maybe Command -> IO ())
networkDescr <- makeNetworkDescription addCommandEvent
actuate networkDescr
return (Just $ Look) >>= fireCommand

所以，现在我已经有了基本的机制，我想开始构建它。这将是一个多人游戏。到目前为止，输入处理的第一步是从TChan获取输入。这个想法是，所有玩家都会写入此TChan，并且每个命令都会按照它到达的顺序进行处理。

所以我添加了一个新功能'inputFrame'

inputFrame :: TChan Command -> IO ()
inputFrame commandChannel = do
   (addCommandEvent,fireCommand) <- newAddHandler
   networkDescr <- makeNetworkDescription addCommandEvent
   actuate networkDescr
   forkIO $ forever (atomically $ tryReadTChan commandChannel) >>= fireCommand
   return ()

以下是我在ghci中尝试使用它的方法。

commandChan <- atomically $ newTChan :: IO (TChan Command)
_ <- atomically $ writeTChan commandChan Look

output.txt无法写入。正在读取commandChan，因为我检查它是否在填充后变为空。我做错了很明显吗？如果没有，我该如何解决问题呢？另外，对于我的预期目的，TChan是正确的选择吗？

Answer 1

你可能想要

forkIO $ forever (atomically (tryReadTChan commandChannel) >>= fireCommand)

但我没有测试过这个。另外，猜测一下，您可能希望避免tryReadTChan。只需使用普通的readTChan，就可以获得有效的retry而不是轮询。