内容简介：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
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
猜你喜欢:
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
Modern PHP（中文版）
Josh Lockhart / 安道 / 中国电力出版社 / 2015-9 / 39
PHP正在重生，不过所有PHP在线教程都过时了，很难体现这一点。通过这本实用的指南，你会发现，借助面向对象、命名空间和不断增多的可重用的组件库，PHP已经成为一门功能完善的成熟语言。 本书作者Josh Lockhart是“PHP之道”的发起人，这是个受欢迎的新方案，鼓励开发者使用PHP最佳实践。Josh通过实践揭示了PHP语言的这些新特性。你会学到关于应用架构、规划、数据库、安全、测试、调试......一起来看看 《Modern PHP（中文版）》 这本书的介绍吧!
