IO序列哈斯克尔

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 

但它不会例如与输入[纯1，纯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 -> ...。请注意，上述lambda表达式的范围一直延伸到表达式的最后。使用明确的括号：

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