トラバーサブルをリストで圧縮する最も標準的な/一般的な方法は何ですか？

Question

Traversableは、その構造が "パス"（リストに対応することができる）を持つコンテナのクラスであり、その要素はその構造を解消することなく変更することができる。したがって、リスト状態のトラバーサルは少しハックしている可能性が高く、効率的な方法ではないようです。私は上記のまたはより一般的なタスクを達成する標準的な機能があると思いますが、私はそれが何であるかを理解できません。

Answer 1

何について約mapAccumL/mapAccumR？効率の問題について

tzipWith :: Traversable t => (a -> b -> c) -> [a] -> t b -> Maybe (t c) 
tzipWith f xs = sequenceA . snd . mapAccumL pair xs 
    where pair [] y = ([], Nothing) 
      pair (x:xs) y = (xs, Just (f x y)) 

tzip :: Traversable t => [a] -> t b -> Maybe (t (a, b)) 
tzip = tzipWith (,) 

ghci> tzip [1..] [4,5,6] 
Just [(1,4),(2,5),(3,6)] 

ghci> tzip [1,2] [4,5,6] 
Nothing 

からunder the hoodmapAccum関数は状態モナドを使用するので、私は本当にやったすべてが、高階関数でコードの不可欠の部分をキャプチャです。私はこのコードがあなたよりも優れた性能を発揮するとは思わないでしょう。しかし、私はあなたがStateモナド（またはST）よりもはるかにうまくいくとは思えません。与えられたのはTraversable tです。