モナド対モナド変圧器

Question

"モナドは、プログラマが順次ビルディングブロックを使用して計算を構築することを可能にする"ので、いくつかの計算を組み合わせることができます。この場合、次のコードを実行できない理由は何ですか？

import Control.Monad.Trans.State 

gt :: State String String 
gt = do 
    name <- get 
    putStrLn "HI" -- Here is the source of problem! 
    put "T" 
    return ("hh..." ++ name ++ "...!") 


main= do 
    print $ execState gt "W.." 
    print $ evalState gt "W.." 

• なぜ我々は（上の例のように）モナドで異なる機能を置くことができませんか？

• なぜモナドを組み合わせるために追加のレイヤー、つまりトランスが必要なのですか？モナドで異なる機能を置くため機構である

Answer 1

モナド変圧器。

モナドは、そのモナドの能力内にある計算をどのように組み合わせるかを知っています。 StateモナドでI/Oを実行することはできませんが、StateT s IO aモナドで行うことはできます。ただし、I/Oを行う計算ではliftIOを使用する必要があります。

import Control.Monad.Trans.State 
import Control.Monad.IO.Class (liftIO) 

gt :: StateT String IO String 
gt = do 
    name <- get 
    liftIO $ putStrLn "HI" 
    put "T" 
    return ("hh..." ++ name ++ "...!") 


main = do 
    print =<< execStateT gt "W.." 
    print =<< evalStateT gt "W.."