haskell - 如何在haskell中将数据从IO(String)转换为String

Question

这个问题在这里已经有了答案:




10年前关闭。

Possible Duplicate:
A Haskell function of type: IO String-> String

我正在使用 readFile 从文件中读取一些数据Haskell 中可用的函数。但是这个函数会返回一些存储为 IO String 的数据。 .有谁知道如何将这些数据转换为 String类型(或任何从文件中读取 String 的函数，没有 IO () 类型)？

Answer 1

这是关于从一元值中提取数据的一个非常普遍的问题。

总体思路是使用>>=功能:

main = readFile foo >>= \s -> print s

>>=需要 2 个参数。它从第一个参数中提取值并将其传递给第二个参数。第一个参数是一元值，在本例中为 IO String ，第二个参数是一个接受普通非单子(monad)值的函数，在本例中为 String .

这种模式有一个特殊的语法:

main = do
   s <- readFile foo
   print s

但是意思和上面一样。 do表示法对初学者和某些复杂的情况更方便，但显式应用 >>=可以导致更短的代码。例如，这段代码可以写成

main = readFile foo >>= print

还有一大类库函数可以在单子(monad)和非单子(monad)值之间进行转换。其中最重要的是 return , fmap , liftM2和 >=> .

除了以引用透明的方式表示 IO 之外，monad 的概念非常有用:这些帮助器对于错误处理、处理隐式状态和 monad 的其他应用程序非常有用。

第二个最重要的单子(monad)是 Maybe .