シーケンス関数をfoldrから再帰関数に変更する

Question

私はシーケンス関数を頭に入れようとしています。私はそれを再帰関数として書いておけば助けになると思っていましたが、再帰的に変換するのがやや難しいモナド式であると考えて、それをどうやって行うのか少し迷っています。私は返品（x：xs）で何をしているのですか？言い換えれば、私はfoldrなしで関数を記述したいと思います。

sequence _ = foldr k (return []) 
       where 
       k m m' = do { x <- m; xs <- m'; return (x:xs) } 

sequence' _ = foldr k (return []) 
       where 
        k m m' = m >>= 
          (\fstr -> m'>>= 
          (\rstr -> return (fstr:rstr))) 

Answer 1

sequenceを書くための一つの方法は、単にtraverse idある、と私はより深く理解するためTraversableとApplicativeとの間の関係を探求することをお勧めします：私は、以下の二つの定義が含まれています。

私は、あなたが探していることは、この定義だと思う：

sequence :: Monad m => [m a] -> m [a] 
sequence [] = return [] 
sequence (x:xs) = do 
    x' <- x 
    xs' <- sequence xs 
    return (x':xs')