Haskell MonadIO與IO

Question

兩者有什么區別：

recompile :: MonadIO m => Bool -> m Bool
recompile :: Bool -> IO Bool

Answer 1

類型forall m. MonadIO m => Bool -> m Bool forall m. MonadIO m => Bool -> m Bool和Bool -> IO Bool是同構的：

{-# LANGUAGE RankNTypes #-}
import Control.Monad.IO.Class

from :: (forall m. MonadIO m => Bool -> m Bool) -> (Bool -> IO Bool)
from act = act

to :: (Bool -> IO Bool) -> (forall m. MonadIO m => Bool -> m Bool)
to act = liftIO . act

但是，並非所有涉及IO類型都與用受約束的m替換IO的版本是同構的。

通常，當他們覺得通過調用代碼散射liftIO會很煩人或者m需要其他mtl style約束時，使用MonadIO m而不是m ~ IO ; 為了簡化API（其中MonadIO m有助於復雜性，因此不可取）或處理分叉或異常處理（由於鏈接中討論的原因而無法使用MonadIO m ），使用m ~ IO而不是MonadIO m題）。