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)))