关于 liftIO ?

Question

catchIO :: MonadIO m => IO () -> m ()
catchIO f = liftIO (f `catch` e -> hPrint stderr e >> hFlush stderr)

如果f发生例外, 则将例外输出到stderr 然后刷新stderr !   但liftIO是什么意思呢?

Answer 1

原帖由 sw2wolf 于 2009-4-30 14:52 发表
Prelude> import Control.Monad.State
Prelude Control.Monad.State> :i liftIO
class (Monad m) => MonadIO m where liftIO :: IO a -> m a

将IO a提升为Monad a?   什么用啊?

为了类型匹配呗。

Answer 2

原帖由 flw 于 2009-4-30 16:48 发表

想学就好好学，不好好学就别追究太深。
Haskell 语句不是 Shell 命令，三言两语讲不清楚。

如果自己清楚, 也应该能讲清楚吧?   我还是查查资料吧

Answer 3

原帖由 sw2wolf 于 2009-4-30 16:31 发表

我是新手, 对monad的确不了解, 主要是要用xmonad做桌面, 才想学习下haskell

IO a 不是个MONAD吗? 还需要lift ?

想学就好好学，不好好学就别追究太深。
Haskell 语句不是 Shell 命令，三言两语讲不清楚。

Answer 4

原帖由 flw 于 2009-4-30 15:10 发表
你如果连这个问题都要问的话，
说明你需要先看一些基本的东西了解一下 Haskell 的类型系统，Monad 尤其是高级的 Monad 暂时先不求甚解就行了。
看看 YAHT 吧，也许会对你有帮助。

我是新手, 对monad的确不了解, 主要是要用xmonad做桌面, 才想学习下haskell

IO a 不是个MONAD吗? 还需要lift ?

Answer 5

你如果连这个问题都要问的话，
说明你需要先看一些基本的东西了解一下 Haskell 的类型系统，Monad 尤其是高级的 Monad 暂时先不求甚解就行了。
看看 YAHT 吧，也许会对你有帮助。

Answer 6

Prelude> import Control.Monad.State
Prelude Control.Monad.State> :i liftIO
class (Monad m) => MonadIO m where liftIO :: IO a -> m a

将IO a提升为Monad a?   什么用啊?

Answer 7

看它的定义，一般 lift 都是做类型提升的。