从 Haskell 中的 IO 字符串中获取值 [重复]

Question

我有一个带有签名read_F95_src :: String -> IO [String] 的函数。此功能在别处使用，无法更改。

我正在阅读源代码行并与诸如src_lines = read_F95_src templ_src_name 之类的标签相关联，该标签可以正常编译和运行。

问题是我现在有一个接收[String] 的函数，无论我如何尝试，我都无法找到从src_lines 获取[String] 值的方法。

Answer 1

您不会从IO 中“提取”值。相反，您使用fmap 将其余的计算提升到IO。所以

read_F95_src :: String -> IO [String]

doSomethingWithStringList :: [String] -> Whatever

fmap doSomethingWithStringList :: IO [String] -> IO Whatever

fmap doSomethingWithStringList . read_F95_src :: String -> IO Whatever

你应该习惯这种模式，因为当你使用 Haskell 时，它会经常发生在你身上。例如，如果您想对IO Whatever 做某事，您将不得不再次使用相同的技巧！

Answer 2

let src_lines = read_F95_src templ_src_name
(ss::[String]) <- src_lines
{- do whatever with ss -}

Answer 3

像这样在 do 块中提取[String]：

some_function :: IO [String]
some_function = do
  dat <- read_F95_src "some data" -- Now the dat will contain the [String]
  -- Now do all your stuffs on dat and return whatever you want to.
  return dat

一旦你提取了函数内部的dat，你可以根据你的逻辑应用其他函数，最后返回你需要的任何东西。