haskell - 在 Haskell 中将 [IO Int] 转换为 IO [Int]？

Question

我有适合我需要的代码:

f :: [IO Int] -> IO [Int]
f [] = return []
f (x:xs) = do 
  a <- x
  as <- f xs
  return (a:as)

但我认为会有一种预定义的方式(msum？)

但我看不出怎么做。

欢迎任何帮助。谢谢

Answer 1

是的，它在标准库中可用，名称为 sequence 。 .它的类型比您的 f 更通用。 : Monad m => [m a] -> m [a] , 因为它适用于任何 Monad ，而不仅仅是 IO .

您可以通过搜索类型 [IO a] -> IO [a] 自己找到它。在 Hoogle .