如何改进这些haskell压缩和解压缩功能？

Question

指定通过将相同的连续元素转换为逐个元素对来压缩列表的函数。群组功能很有用。

指定从压缩列表恢复原始的功能。复制功能可能很有用。

import Data.List


compress :: (Eq a, Integral b) => [a] -> [(b, a)]
compress l = zip (length $ group l) (head $ group l)
Or:
compress :: (Eq a, Integral b) => [a] -> [(b, a)]
compress [] = []
compress (x:xs) 
    | x == a = (b+1,a) : xs
    | otherwise = (1,a) : compress (b,a) xs



decompress :: (Eq a, Integral b) => [(b, a)] -> [a]
decompress l = concat [replicate (fst x) (snd x) | x <- l]



Examples:
compress "aaaabccaadeeee" == [(4, 'a'), (1, 'b'), (2, 'c'), (2, 'a'), (1, 'd'), (4, 'e')]
compress "oh hello !!" == [(1, 'o'), (1, 'h'), (1, ''), (1, 'h'), (1, 'e'), (2, 'l'), (1, 'o'), (2, '!')]
compress [] == []
compress [1,1,0,0,0,1,1,1] == [(2.1), (3.0), (3.1)]

decompress [(4, 'a'), (1, 'b'), (2, 'c'), (2, 'a'), (1, 'd'), (4, 'e')] == "aaaabccaadeeee"
decompress [(1, 'o'), (1, 'h'), (1, ''), (1, 'h'), (1, 'e'), (2, 'l'), ( 1, 'o'), (2, '!')] == "oh hello !!"
decompress [] == []
decompress [(2,1), (3,0), (3,1)] == [1,1,0,0,0,1,1,1]

Answer 1

您在这里枚举了两次 group 的结果。您可以简化这一点并使用映射函数将组结果的每个项目转换为 2 元组，例如使用 (&&&) :: 箭头 a => abc-> ab c'-> ab (c, c'). length :: 可折叠f =>发-> Int 返回一个 Int，因此您不能使用任何 Integral 类型：

import Control.Arrow((&&&))

compress :: Eq a => [a] -> [(Int, a)]
compress = map (length &&& head) . group

为了解压缩，我们可以使用 concatMap :: 可折叠 t => (a→[b])→塔-> [b] 并使用 uncurry :: (a -> b -> c) -> (a、b)→ c 创建一个适用于 2 元组的 replicate 变体。 replicate :: Int ->一个-> [a] 适用于 Int，而不是任何 Integral 和 Eq 类型约束这里不需要，因为我们可以复制任何项目。 concatMap 可以在任何 Foldable 上工作，因此我们可以将类型签名概括为：

decompress :: Foldable f => f (Int, a) -> [a]
decompress = concatMap (uncurry replicate)