IO 序列 Haskell

Question

我有这个功能：

sequence :: [IO a] -> IO [a]
sequence [] = pure []
sequence (op:ops) = do
    x <- op
    xs <- sequence ops
    return (x:xs)

它只是写了一系列 IO 动作。

问题是我想编写相同的函数，但根本不使用“do notation”，而是使用运算符 >> 和 >>=。

我已经有这个版本了：

mySequence:: [IO a]-> IO [a]
mySequence [] = pure []
mySequence (op:ops) =
    op >> sequence ops

但它不适用于例如输入 [ pure 1 , pure 2 ]。

谁能帮我解决这个问题？

提前致谢。

Answer 1

在应用符号中，它非常简单：

sequence (op:ops) = (:) <$> op <*> sequence ops

我是一元符号，只翻译do，同时保持其结构：

sequence (op:ops) =
   op             >>= \x ->
   sequence ops   >>= \xs ->
   return (x:xs)

大致上，x <- action; ... 变为 action >>= \x -> ...。请注意，上面的 lambdas 的范围一直延伸到表达式的最后。带显式括号：

sequence (op:ops) =
   op >>= (\x -> sequence ops >>= (\xs -> return (x:xs)))