Haskell ReaderT 设计模式与 mtl StateT 模式

Question

我正在设计一个基本上使用 StateT 并且只是更新状态的小游戏。以下是简化版：

{-# LANGUAGE TemplateHaskell #-}

import           Control.Lens
import           Control.Monad
import           Control.Monad.IO.Class
import           Control.Monad.State
import           Control.Monad.State.Class
import           System.Random

data PlayerState = PlayerState {
  _psName  :: String,
  _psScore :: Int
                               } deriving (Show)

makeClassy ''PlayerState

data Game = Game {
  _turns   :: Int,
  _players :: [PlayerState]
                 } deriving (Show)

makeClassy ''Game

randomGameInit :: IO Game
randomGameInit = do
  players <- replicateM 5 $  PlayerState <$> (replicateM 4 $ randomRIO ('a', 'z')) <*> randomRIO (1,10)
  return $ Game 0 players

update :: (MonadState s m, HasGame s) => m ()
update = do
  players . ix 0 . psName %= (\_ -> "mordor")
  turns %= (+1)
  exitCondition <- fmap (>10) (turns <%= id)
  unless exitCondition update

main :: IO ()
main = do
  init <- randomGameInit
  runStateT update init >> print "Game Over"

我最近了解了ReaderT Design Pattern vs mtl StateT，它鼓励将StateT 替换为ReaderT 中的可变引用而不是IO。

我想知道如何使用 ReaderT 调整代码。最具体地说，许多Lens 函数具有类型：(MonadState s m)，显然需要在状态内。这是否意味着 Lens 库函数是为 StateT 而不是为 ReaderT 设计的？如何使用Lens 和ReaderT 设计模式？

Answer 1

据我所知，ReaderT 模式用户通常不使用 MonadState 镜头运算符。相反，使用view 访问所需的 MVar（或您正在处理的任何类型的可变 var）并照常更新它（例如使用 modifyMVar）。

不过，RIO monad 提供了一个合适的 MonadState 实例。比我更好的答案可能会很容易地使您的代码适应 RIO monad。