traversable을 목록과 함께 압축하는 가장 일반적인 방법은 무엇입니까?

Question

Traversable은 구조가 "경로"(목록에 해당 할 수 있음)가있는 컨테이너 클래스이며 구조를 해체하지 않고 수정할 수있는 요소입니다. 따라서

zipTrav :: Traversable t => t a -> [b] -> Maybe (t (a,b)) 
zipTrav = evalStateT . traverse zp 
where zp a = do 
      bs <- get 
      case bs of 
       [] -> lift Nothing 
       (b:bs') -> put bs' >> return (a,b) 

그러나 목록 상태 순회는 약간 해킹 된 것으로 보이며 가장 효율적인 방법은 아닙니다. 위의 작업이나 일반적인 작업을 수행하는 표준 함수가 있다고 가정 할 수 있지만 그것이 무엇인지 파악할 수는 없습니다.

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 hood mapAccum 기능 그래서 나는 정말했던 모든 고차 함수에서 코드의 필수적 부분을 캡처하고, 상태 모나드를 사용합니다. 나는이 코드가 당신보다 더 잘 수행 될 것이라고 기대하지 않습니다. 하지만 State 모나드 (또는 ST)보다 훨씬 잘 할 수 있다고 생각하지 않습니다. 단 Traversable t으로 주어집니다.