使用ReaderT Maybe或MaybeT Reader？

Question

我想寫一個haskell程序閱讀配置，並做一些事情。該配置是一個Data.Map並將被注入一個閱讀器。當我們找不到配置項時，讀數應該被中斷。剛剛停止，不需要錯誤消息。所以我只想要一個Maybe monad（不是monad）。

問題是，我應該如何堆疊兩個monads，ReaderT Maybe或MaybeT Reader？

Answer 1

最後我弄明白了。他們都是好的。

假設每個配置項目的值只是一個Int。

的ReaderT ConfigMap Maybe Int將具有象一個值：

ReaderT (\r -> Just 123) 

或

ReaderT (\r -> Nothing) 

的MaybeT (Reader ConfigMap) Int將具有象一個值：

MaybeT (Reader (\r -> Just 123)) 

或：

MaybeT (Reader (\r -> Nothing)) 

無論如何，我們可以先做一些閱讀，然後決定是否繼續根據閱讀是否返回Nothing。這些值具有不同的外形但功能相同。

我的小演示在這裏：

import qualified Data.Map as M 
import Control.Monad 
import Control.Monad.Reader 
import Control.Monad.Trans 
import Control.Monad.Trans.Maybe 

type Config = M.Map String Int 

getConfig :: String -> MaybeT (Reader Config) Int 
getConfig key = MaybeT $ do 
    m <- ask 
    return $ M.lookup key m 

readAll :: Config -> Maybe (Int, Int) 
readAll m = 
    let r = runMaybeT $ do 
     a <- getConfig "a" 
     b <- getConfig "b" 
     return (a, b) 
    in runReader r m 

main :: IO() 
main = do 
    putStrLn $ show (readAll $ M.fromList [("x", 3), ("b", 4)]) 

我的第二個演示：

import qualified Data.Map as M 
import Control.Monad 
import Control.Monad.Reader 
import Control.Monad.Trans 
import Control.Monad.Trans.Maybe 

type Config = M.Map String Int 

getConfig :: String -> ReaderT Config Maybe Int 
getConfig key = ReaderT $ \r -> M.lookup key r 

readAll :: Config -> Maybe (Int, Int) 
readAll m = 
    let r = runReaderT $ do 
     a <- getConfig "a" 
     b <- getConfig "b" 
     return (a, b) 
    in r m 

main :: IO() 
main = do 
    putStrLn $ show (readAll $ M.fromList [("a", 3), ("b", 4)])