问题功能性香蕉旅行者游戏 - 迷人和疯狂

我想用反应性香蕉来写一个人们可以写机器人的旅行者游戏。 FRP对我来说是全新的，我在开始时遇到了麻烦。当我开始时，我创建了一个更精细的图表，但出于我的目的，我试图尽可能简单。我想要一些指导，主要是关于从哪里开始，以及如何将这个更大的问题分解为更小的问题来解决。这是最初的设计。

我们的想法是拥有一个TIode图表（为了简单起见，我现在忽略加权边缘）。我描述的这些LNode Planet秒。该 Planets有一个名字，一个玩家的地图 Planet 和 Resource秒。玩家有一个id，资源和一个Planet.Here是数据结构和一些相关的功能，接下来是更多的讨论。

-- Graph-building records and functions

data PlanetName = Vulcan
                | Mongo
                | Arakis
                | Dantooine
                | Tatooine
                     deriving (Enum,Bounded,Show)

data Planet = Planet {pName :: PlanetName
                     ,player :: IntMap Player
                     ,resources :: Int
                     } deriving Show

data Player = Player {pid :: Int
                    ,resources :: Int
                    } deriving Show



makePlanetNodes :: PlanetName -> [LNode Planet]
makePlanetNodes planet = Prelude.map makePlanetNodes' $
                         zip [planet ..] [0 ..]
  where makePlanetNodes' (planet,i) =
          (i,Planet {pName = planet, players = IM.empty})

makePlanetGraph p = mkGraph p [(0,1,1),(1,2,2),(2,3,4),(3,4,3),(4,0,2)]

-- Networking and command functions

prepareSocket :: PortNumber -> IO Socket
prepareSocket port = do
   sock' <- socket AF_INET Stream defaultProtocol
   let socketAddress = SockAddrInet port 0000
   bindSocket sock' socketAddress
   listen sock' 1
   putStrLn $ "Listening on " ++ (show port)
   return sock'

acceptConnections :: Socket -> IO ()
acceptConnections sock' = do
   forever $ do
       (sock, sockAddr) <- Network.Socket.accept sock'
       handle <- socketToHandle sock ReadWriteMode
       sockHandler sock handle

sockHandler :: Socket -> Handle -> IO ()
sockHandler sock' handle = do
    hSetBuffering handle LineBuffering
    forkIO  $ commandProcessor handle
    return ()

commandProcessor :: Handle -> IO ()
commandProcessor handle = untilM (hIsEOF handle) handleCommand >> hClose handle
  where
    handleCommand = do
        line <- hGetLine handle
        let (cmd:arg) = words line
        case cmd of
            "echo" -> echoCommand handle arg
            "move" -> moveCommand handle arg
            "join" -> joinCommand handle arg
            "take" -> takeCommand handle arg
            "give" -> giveCommand handle arg
            _ -> do hPutStrLn handle "Unknown command"


echoCommand :: Handle -> [String] -> IO ()
echoCommand handle arg = do
    hPutStrLn handle (unwords arg)

moveCommand = undefined

joinCommand = undefined

takeCommand = undefined

giveCommand = undefined

这是我目前所知的，我的活动将涉及类型 Planet 和 Player。行为将涉及移动，加入，接受和给予。当玩家加入时，它将创建一个新的 Player 事件并用它更新Vulcan上的Map Player。移动将允许从一个遍历 LNode 提供给另一个人 LNodes通过边连接。拿走会删除 resources 从目前来看 Planet 该 Player 是“开”并添加 resources 到了 Player。给出相反的意思。

我怎样才能将这个大问题分解成更小的问题，这样我才能理解这些东西？

更新：结果发现Hunt Wumpus不是帮助学习FRP的好选择，请参阅解释FRP的用途这里。这是Heinrich Apfelmus的回应。

也就是说，我现在完全会忽略网络代码。我可以写一些虚拟机器人来测试时序等。

更新：有些人似乎对这个问题感兴趣，所以我将在这里跟踪相关问题。

建立计时器

输入处理

7472

2017-09-06 04:20

起源

答案:

这是一个复杂的项目。游戏大致分解为以下几个部分：

输入层（将输入转换为游戏事件）
引擎（接受事件和当前状态以产生新的游戏状态）
输出层（显示游戏状态和通过执行事件产生的消息）

我首先使用控制台输入和输出（即stdin和stdout）来简化输入和输出层。稍后您可以添加网络支持。

其次，我会简化游戏本身。例如，从单人游戏开始。最近，我将Lisp游戏“Grand Theft Wumpus”翻译成Haskell，感觉非常有趣。

第三，我将从游戏引擎开始。这意味着你必须考虑：

什么是游戏状态？
什么是比赛活动？

为游戏状态和每个事件定义Haskell数据结构。请注意，游戏状态需要记录一切这与游戏有关：地图，玩家位置，玩家状态甚至是随机数种子。

游戏状态通常是产品类型：

data GameState = {  _mapNodes :: [Node]
                   ,_mapEdges  :: [ (Node,Node) ]
                   ,_player   :: Node
                   , ...
                 }

游戏事件应定义为总和类型：

data GameEvent =
  | MovePlayer Node
  | Look
  | ...

在定义了这些数据结构之后，编写了 performEvent 功能：

performEvent :: GameEvent -> GameState -> IO(GameState)

结果的原因 performEvent 是 IO(GameState) 是你可能需要通知玩家发生了什么，并使用 IO 在游戏的这个阶段，monad将是最简单的方法（没有双关语意）。有很多方法可以净化像这样的函数 performEvent，但那是另一个话题。

例：

performEvent :: GameEvent -> GameState -> IO(GameState)
performEvent (Move p n) s =
  do putStrLn "Moving from " ++ (show $ s _player) ++ " to " ++ (show n)
     return s { _player = n }
performEvent Look       s =
  do putStrLn "You are at " ++ (show $ s _player)
     return s

一旦你测试过 performEvent，你可以添加一个前端来将一行文本翻译成一个 GameEvent：

parseInput :: Text -> Maybe GameEvent
parseInput t = case Text.words t of
                 ("look":_)    -> Just Look
                 ("move":n:_)  -> Move <$> (parseNode n)
                 otherwise     -> Nothing

然后添加一个输入循环，编写一个函数来创建初始GameState，在你知道它之前你将拥有一个真正的互动游戏！

2017-09-06 18:12

啊追捕wumpus！是的，开始较小的声音就像一个好动作。 - Michael Litchard

答案: