haskell - 应用可能无法应用于列表中所有值的函数

Question

我想将函数 f 应用于值列表，但是函数 f 可能会随机失败(它实际上是在调用云)。

我想我想使用像 map 这样的东西，但我想将该函数应用于列表中的所有元素，然后我想知道哪些元素失败了，哪些元素成功了。

目前，我正在使用错误对包装函数 f 的响应对象，然后我可以有效地unzip

即类似的东西

g : (a->b) -> a -> [ b, errorBoolean]

f:a->b

然后运行代码... map g (xs)

有更好的方法吗？另一种替代方法是迭代数组中的值，然后返回一对数组，一个列出成功的值，另一个列出失败的值。对我来说，这似乎应该是相当普遍的事情。或者我可以返回一些特殊的值。处理这个问题的最佳实践是什么？

Answer 1

如果 f 正在向云发出调用，那么 f 无疑正在使用某些 monad，可能是 IO monad 或 monad源自IO monad。 map 有单子(monad)版本。作为第一次尝试，您通常会执行以下操作:

f :: A -> IO B -- defined elsewhere
g :: [A] -> IO [B]
g xs = mapM f xs
-- or, in points-free style:
g = mapM f

这具有(可能)不受欢迎的属性，如果对 f 的任何调用失败，g 将失败，不返回任何值。我们通过让 f 返回答案或错误消息来解决这个问题。

type Error = String
f :: A -> IO (Either Error B)
g :: [A] -> IO [Either Error B]
g = mapM f

如果您希望所有错误一起返回，并且所有成功结果集中在一起，您可以使用 Data 中的 lefts 和 rights 函数.要么.

h :: [A] -> IO ([B], [Error])
h xs = do ys <- g xs
          return (rights ys, lefts ys)

如果您不需要错误消息，只需使用Maybe B 而不是Either Error B。

Either 数据类型是表示值的最常见方式，它可以导致错误或正确值。错误使用 Left 构造函数，正确值使用 Right 构造函数。额外的好处是，“right”在英语中也意味着“正确”，但正确的值使用 Right 构造函数的原因实际上更深层次(因为这意味着我们可以从 Either 类型创建一个仿函数它修改了正确的结果，这是通过 Left 构造函数不可能实现的)。