StateT Monad'ı düzgün bir şekilde nasıl kullanabilirsiniz?

Question

Takip ettiğim bir kurs için Haskell'de çok küçük bir oyun yapmalıyım. Bu yüzden oyun işlevini yarattım, ancak şimdi imzasını değiştirirken sorun yaşıyorum.

play :: [[String]] -> StateT GameState IO Score 
play input = 
do 
    liftIO $ clearScreen 
    (answered, correct) <- get 
    if True 
    then 
     do 
      liftIO $ putStrLn "Well done! Your answer was correct!" 
      liftIO $ putStrLn ("So far, you answered " ++ (show answered) ++ " questions") 
      put (answered + 1, correct + 1) 
      liftIO $ 
       do 
        temp <- getLine 
        putStrLn temp 
    else 
     do 
      liftIO $ putStrLn "I'm sorry, you're wrong..." 
      put (answered + 1, correct) 
    play input 

Şimdi, True deyimi olup olmadığını lütfen unutmayın, bu yalnızca sınama içindir. Şimdi bu işlev çalışıyor, ancak başka bir tür imza ile çalışmasını sağlamak zorundayım. Fonksiyon oyun türü imzası olmalıdır:

play :: IO (Either ParseError [[String]]) -> StateT GameState IO Score 

Ama sonra benim StateT monad nasıl kullanılacağına dair hiçbir fikrim yok? Bunu nasıl yapabilirim? IO (Either ParseError [[String]]) monad, eksikH paketinden parseFromFile işlevinin bir sonucudur.

Answer 1

Arayan kişi bunu işlemelidir. play dönüş tipi Void değil Score olmalıdır böylece

arada

main :: IO() 
main = do 
    parsed <- parseFromFileStuff 
    case parsed of 
    Left parseerror -> handleErrorStuff 
    Right input -> evalStateT (play input) initialState 

, aslında, bir skor asla geri. Ayrıca, play s son satırını kaldırarak, dönüş türünü () olarak değiştirerek ve play input'u forever (play input) ile değiştirerek bu yinelemeyi sıkmanız gerekir. Oh ve asla girişi kullanmazsın.