内容简介：http://stackoverflow.com/questions/8540999/extracting-a-maybe-value-in-io
给出以下内容：
> (liftM2 fromMaybe) (ioError $userError "OOPS") (return $Just "ok")
ghci给我
*** Exception: user error (OOPS)
当然,从Mayay可以正常工作：
> (liftM2 fromMaybe) (return $"not me") (return $Just "ok") "ok"
但是,IO操作似乎正在执行,然后被丢弃：
> (liftM2 fromMaybe) (putStrLn "computing.." >> "discarded") (return $Just "ok") computing.. "ok"
为什么会发生这种情况？有没有办法使IO monad lazier？
具体来说,给定值:: IO(也许a)一个(干净,简洁)的方式
result <- (liftM2 fromMaybe) err value
并解压缩结果或相应地引发IOError？
我不知道制作IO懒惰是这里的正确方向.你似乎想做的是首先得到可能,然后消除它.这可以写几种方法,这里有一个选项：
test :: IO (Maybe a) -> IO a test = (>>= maybe (ioError $userError "oops") return)
http://stackoverflow.com/questions/8540999/extracting-a-maybe-value-in-io
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
C语言接口与实现
(美)David R. Hanson / 人民邮电出版社 / 2010-8 / 79.00元
可重用的软件模块是构建大规模可靠应用程序的基石，创建可重用的软件模块是每个程序员和项目经理必须掌握的技能。C语言对创建可重用的API提供的语言和功能支持非常少，虽然C程序员写应用时都会用到API和库，但却很少有人去创建和发布新的能广泛应用的API。本书介绍用一种基于接口的设计方法创建可重用的API，这一方法将接口与实现分离开来，且与语言无关。书中详细描述了24个接口及其实现，便于读者深入了解此方法......一起来看看 《C语言接口与实现》 这本书的介绍吧!
