haskell - 当在一个列表上运行 'sequence' 时，ghc 如何知道 list-ify 是哪个参数？

Question

我有两个函数，我很困惑序列如何知道将哪个参数放入列表中，以及两者中的 Left 实际发生了什么

getMonStat :: T.Text -> IO (Either CmdError MonStat)
..
getMonStats :: [T.Text] -> IO (Either CmdError [MonStat])
getMonStats ms = do
  monStats <- mapM getMonStat ms
  pure $ sequence monStats

我的问题是:

为什么这样做？在mapM之后，我有monStats :: [Either CmdError MonStat] .在 [m a] 上运行序列把它变成 m [a] .为什么不是初始类型[m a b]自 CmdError也是一种类型吗？如果 CmdError是要考虑的类型，ghc怎么知道挑MonStat而不是 CmdError列出化？或使用类型:为什么序列转换为 m a b -> m a [b]而不是 m a b -> m [a] b ?

哪个离开了[Either CmdError MonStat]会最终CmdError在 Either CmdError [MonStat]是？首先？所有这些的连接字符串？我可以测试，但我也很好奇为什么。

感谢您对此的任何见解

Answer 1

类型应用程序也是柯里化(Currying)的，它们关联到左边:[m a b] = [(m a) b] = [m' b]哪里m' = m a .所以它总是采用“list-ify”的最后一个参数。

它需要第一个 Left在列表中。 Monad就是这样的Either 的实例定义为:Left x >>= _ = Left x . sequence函数使用该 Monad实例。见 this question关于收集所有失败。