किसी सूची के साथ ट्रैवर्स करने के लिए सबसे मानक/सामान्य तरीका क्या है?

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 hoodmapAccum कार्यों राज्य इकाई का उपयोग करें, ताकि सभी मैं वास्तव में किया है एक उच्च क्रम समारोह में अपने कोड की अनिवार्यता भाग पर कब्जा है। मैं इस कोड को आपके से बेहतर प्रदर्शन करने की उम्मीद नहीं करूंगा। लेकिन मुझे नहीं लगता कि आप State मोनैड (या ST) से अधिक बेहतर कर सकते हैं, केवल Traversable t दिए गए हैं।