当函数不返回 IO monad 时，haskell 如何打印？

Question

我基于它遵循类型和monad：

data Err a = Ok a | Bad String
  deriving (Read, Show, Eq, Ord)

instance Monad Err where
  return      = Ok
  fail        = Bad
  Ok a  >>= f = f a
  Bad s >>= f = Bad s

instance Functor Err where
  fmap = liftM

我还有一个功能，它不能在屏幕上打印“asdf”并以错误结束（这是调试的临时解决方案）：

runStatments :: [Stm] -> State -> Err State
runStatments [] state = Ok state
runStatments (s:_) state = case s of
  PrintStmt exp -> do {
    e <- evalExpression exp state;
    k <- Ok $putStrLn "asfd";
    Bad "damn!"
  }
  ...

问题是代码不会在屏幕上打印“asdf”...

这种问题的温和解决方案是什么？我试过liftIO等等，但我不会写可编译的程序......

Answer 1

你不能只是将 IO “堵塞”到一个 monad 中而不让它在某个时候冒泡。您需要做的是使用所谓的 monad 转换器将 Err monad 包裹在 IO monad 周围。

类似

import Control.Monad
import Control.Monad.Trans

-- If you don't like `Either`, you can change it to
-- Err
data ErrT m a = ErrT {runErrT :: m (Either String a)}

instance (Monad m, Functor m) => Monad (ErrT m) where
  return = ErrT . return . Right
  (ErrT m) >>= f = ErrT $ do
      val <- m
      case val of
          Left err -> return  $ Left err
          Right a  -> runErrT $ f a

instance MonadTrans ErrT where
  lift = ErrT . liftM Right

然后你可以做这样的事情

test :: ErrT IO ()
test = lift $ putStrLn "Hello World"

main = runErrT test