使用带有 IO 列表的查找？

Question

我正在获取文件的内容并将其转换为表单列表：

[("abc", 123), ("def", 456)]

带有 readFile、行和单词。

现在，我可以设法将结果列表转换为类型 IO [(String, Int)]。

我的问题是，当我尝试制作这样的功能时：

check x = lookup x theMap

我收到此错误，我不太确定如何解决：

Couldn't match expected type `[(a0, b0)]'
            with actual type `IO [(String, Int)]'
In the second argument of `lookup', namely `theMap'

theMap 本质上是这样的：

getLines :: String -> IO [String]
getLines = liftM lines . readFile

tuplify [x,y] = (x, read y :: Int)

theMap = do
    list <- getLines "./test.txt"
    let l = map tuplify (map words list)
    return l

文件内容为：

abc 123
def 456

谁能解释我做错了什么，或者告诉我一个更好的解决方案？几个小时前我刚开始玩 monads，一路上遇到了一些颠簸。

谢谢

Answer 1

您必须从 IO 中“解包”theMap。请注意您已经通过以下方式对getLines 执行此操作：

do
  list <- getlines
  [...]
  return (some computation on list)

所以你可以：

check x = do
  m <- theMap
  return . lookup x $ m

事实上，这是一种反模式（尽管只是说明性的），最好使用仿函数实例，即。 check x = fmap (lookup x) theMap