途徑包的列表的（相鄰的）元件成2元組

Question

我想知道是否會有一個簡明/單行的方式來執行以下操作：

pack :: [a] -> [(a, a)] 
pack []  = [] 
pack [_]  = [] 
pack (x:y:xs) = (x, y) : pack xs 

哪個是一樣的：

pack' xs = [(x, y) | (x, y, i) <- zip3 xs (tail xs) [0..], even i] 

我對這兩個選項都沒有太大的反應，但我想知道：是否有更簡潔的方式將(,)與其他函數結合使用？

我以爲會有這樣的一種方式，但它沒有我。所以這只是出於好奇。

謝謝！

Answer 1

我不知道這是不是一條線，而是：

snd $ foldr (\ x (z, ps) -> maybe (Just x, ps) (\y -> (Nothing, (x, y) : ps) z) (Nothing, []) $ xs 

應該是一樣的功能。

Answer 2

注意，對於xs = [x1, x2, ..., xn-1, xn]，我們有

init xs = [x1, x2, ... , xn-1] 
tail xs = [x2, x3, ... , xn ] 

導致

zip (init xs) (tail xs) = [(x1, x2), (x2, x3), (x3, x4), ...] 

，我們要的是

pack xs     = [(x1, x2),   (x3, x4), ...] 

這是很容易得到，一旦我們有一個列表口罩

cycle [True, False]  = [ True, False, True, ... ] 

導致一個班輪

pack :: [a] -> [(a, a)] 
pack xs = map snd . filter fst . zip (cycle [True, False]) $ zip (init xs) (tail xs) 

Answer 3

我們可以很容易分裂列表分爲兩個列表交替元素與此珍聞（due to HaskellWiki）

foldr (\a ~(x,y) -> (a:y,x)) ([],[]) 

剩下的工作就是到列表合併與zip

pack :: [a] -> [(a, a)] 
pack = uncurry zip . foldr (\a ~(x,y) -> (a:y,x)) ([],[]) 

Answer 4

另一單行使用LambdaCase和Data.List.unfoldr：

pack = unfoldr $ \case (x:y:zs) -> Just ((x,y),zs); _ -> Nothing 

我想要的東西偶爾是splits -

splits :: Int -> [a] -> [[a]] 
splits n = unfoldr $ \case [] -> Nothing ; xs -> Just $ splitAt n xs 

而且考慮到，pack變爲：

pack xs = [ (a,b) | [a,b] <- splits 2 xs ]