-
3 votesanswersviews
IO monad在什么意义上是特殊的（如果有的话）？
潜入monad后，我明白它们是允许在某些上下文中链接计算的一般概念（失败，非确定性，状态等），并且它们背后没有任何魔力 . IO monad感觉即使不是魔术，但特别 . 你无法像其他monad一样逃脱IO monad IO动作只能由 main 函数运行 IO始终位于monad变换器链的底部IO monad的 实现尚不清楚，源代码显示了一些Haskell内部 上述观点的原因是什么... -
3 votesanswersviews
返回IO操作会产生什么后果？
在Haskell中，类型构造函数 IO 是一个配有 return 语句的monad，它将任何表达式提升到 IO 版本 . 没有什么能阻止我们将已经 IO 的动作解除为 IO 版本 - 给我们一种形式 IO (IO a) . 所以我可以编写以下程序： main = return . print $ "Hello world" 执行时什么都没做 . 我的问题是，执行此主程序时会...