[haskell] 请解释一下 IO 的隔离功能

retuor

大概知道一些，但还比较模糊。以下是我从各种资料中了解到的：

• IO action 也是值，可以象其它值一样用---传递给函数，let 绑定；
• IO action 只在 main 中执行
• no escape
  

迷惑的地方：

第 1 点  action 指的是什么？IO String 是 action 吗？我觉得应该不是，它应该是某种 action 产生的值吧？
第 2 点  是不是所有代码都在 main 中执行了，包括求值？那就不仅仅是 IO action 了。
第 3 点  尝试了写个函数从 IO String 中提取 String，还真的做不到。其它 monad，象 Maybe, [] 是可以的，但我没找到 IO Sting 的构造函数，没法用模式匹配的方式把它提取出来。（这个如果写出来，就不是函数了，因为返回值不确定。尝试去写是想从不同角度认识这个问题 ）

retuor

{:3_201:}

Fleurer

第 1 点  action 指的是什么？IO String 是 action 吗？我觉得应该不是，它应该是某种 action 产生的值吧？

action好像就是一个函数，例如gets :: IO String。

第 2 点  是不是所有代码都在 main 中执行了，包括求值？那就不仅仅是 IO action 了。

好象是的...main是程序的入口吧。main也是IO action啊

第 3 点  尝试了写个函数从 IO String 中提取 String，还真的做不到。其它 monad，象 Maybe, [] 是可以的，但我没找到 IO Sting 的构造函数，没法用模式匹配的方式把它提取出来。（这个如果写出来，就不是函数了，因为返回值不确定。尝试去写是想从不同角度认识这个问题 ）

呃，有个unsafePerformIO，不过好像官方不怎么推荐？haskell的纯洁性就都没啦～
不能对IO使用模式匹配是因为IO的定义是“私有”的，也就是没在模块中导出。

retuor

谢谢。

楼上的是大好人。