关于 liftIO ?

sw2wolf

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

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

flw

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

sw2wolf

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?   什么用啊?

flw

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

sw2wolf

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

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

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

flw

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

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

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

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

sw2wolf

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

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

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

MMMIX

原帖由 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?   什么用啊?

为了类型匹配呗。