内容简介：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
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
银行3.0：移动互联时代的银行转型之道
[澳]布莱特·金（Brett King） / 白 宫 施 轶 / 广东经济出版社 / 2014-12 / 88.00元
银行未来会怎样，银行下一步该怎么做？银行如何在客户行为变化、科技变化，以及新的非银行竞争者不断涌入等时代变化的形势下，在未来取得成功？ 这是第一本透彻深入地全面呈现当今银行业的内外形势与状况的书，内容涉及技术变化、客户行为变化、涌现的外部竞争者，银行现有组织架构、流程模式、制度思维、人员结构、互动渠道、营销方式等。具体包括低网点化，ATM、网站、呼叫中心的落伍，以及智能手机、社交媒体、移动支......一起来看看 《银行3.0：移动互联时代的银行转型之道》 这本书的介绍吧!
