haskell初始累加器'null'值

Question

我有一个看似简单的Haskell问题,而且由于我的知识有限,我不确定要搜索哪些术语才能解决它.

我试图解决99个Haskell问题中的问题8(从列表中删除连续的重复项),这就是我想出的:

compress :: (Eq a) => [a] -> [a]
compress list = compress' list ???
  where
    compress' [] _ = []
    compress' (x:xs) last
      | x == last = compress xs last
      | otherwise = x : compress xs x

'???' 只是一个占位符,这是我不确定该怎么做的地方.我认为片段的工作方式应该足够清楚,"last"是一种累加器,用于检查元素是否与之​​前的元素重复.现在,在这种情况下,我可以给出"最后"的初始值吗？(在我想的大多数OO语言中类似于'null'的东西).

编辑:Tikhon的答案有效,但是我刚刚意识到我在原帖中犯了一个错误,压缩'应该递归调用自己而不是压缩.因此,对我的问题的"琐碎"解决方案现在是:

compress :: (Eq a) => [a] -> [a]
compress list = compress' list Nothing
  where
    compress' [] _ = []
    compress' (x:xs) Nothing = x : compress' xs (Just x)
    compress' (x:xs) (Just last)
      | x == last = compress' xs (Just last)
      | otherwise = x : compress' xs (Just x)

Answer 1

所以你的问题有两个答案.更直接的答案是你可以Maybe用来制作可以为空的东西,类型系统会确保你Nothing每次使用它时都要检查是否有东西:

compress list = compress' list Nothing
  where compress' [] _ = []
        compress' (x:xs) Nothing = x : compress xs (Just x)
        compress' (x:xs) (Just last)
          | x == last = compress xs last
          | otherwise = x : compress xs (Just x)

这个故事的寓意是,如果你有一个可能缺失的元素(即可能是null其他语言),你可以将它包装起来Maybe.然后你要么拥有Just x或者Nothing,你就可以在列表上模式匹配的方式匹配模式.

但是,在这种特殊情况下,我们可以提供更清洁的解决方案.请注意,元素仅在您第一次调用时丢失compress'.我们可以通过在compress处理这种可能性的顶级函数中添加一个案例来解决这个问题:

compress [] = []
compress (x:xs) = x : compress' xs x
  where ...

基本上,compress'如果我们在顶级函数中处理它,我们可以避免需要在我们的辅助函数中处理这个案例,我们可以在传递的列表上匹配以确定要做什么.