Haskell：Glade 条目的列表理解

Question

我想创建一个 entries :: Map(String -> Entry) 这样我就可以轻松地按名称访问每个条目。为此，我有代码

  Just xml ←  xmlNew "blah.glade"
  ...
  entries ← fromList $ [(name,entry) | name <- entryList 
      , entry <- xmlGetWidget xml castToEntry name]

（其中 entryList 是条目名称列表，例如 ["name1","name2",...]）。

但是，列表理解出现以下错误：

   Couldn't match expected type `[t]' against inferred type `IO Entry'
    In the expression: xmlGetWidget xml castToEntry name
    In a stmt of a list comprehension:
        entry <- xmlGetWidget xml castToEntry name
    In the second argument of `($)', namely
        `[(name, entry) |
              name <- entryList, entry <- xmlGetWidget xml castToEntry name]'

我不明白为什么它需要任何内容​​的列表。谁能帮忙解决这个问题吗？

Answer 1

这是因为列表理解中的 <- 期望右侧是一个列表。您尝试使用它来绑定 IO 操作的结果，但这仅在 do 表示法中有效（至少没有扩展）。

问题在于 xmlGetWidget 返回 IO Entry，但您需要 Entry 的映射。这意味着您必须将这些 IO 操作组合成一个更大的操作。

最后，您会想要这样的东西：

let getEntry name = do entry <- xmlGetWidget xml castToEntry name
                       return (name, entry)
entries <- fromList <
gt; mapM getEntry entryList

这里，我创建了一个辅助函数 getEntry :: String -> IO（字符串，条目） 获取条目并将其与其名称配对。

接下来，我使用 mapM 将 getEntry 映射到名称列表。请注意 map 和 mapM 之间的区别。如果我使用map，我会得到一个操作列表，即[IO (String, Entry)]，当我想要的是返回列表的操作时，即IO [(String, Entry)]。

现在，构建了 IO 操作后，我使用 fromList 和运算符 <$> 将其转换为 Map代码>.也称为 fmap，<$> 将纯函数应用于 IO 内部的事物，因此结果的类型为 IO（映射字符串条目）。

最后，此IO操作的结果可以绑定到entries。