Haskell元组计数递增函数修改：修复漏处理末尾元组及新增元素需求

错误原因 #

你的代码跳过最后一个元组的核心问题是边界条件处理错误。你设置的守卫条件| xs == [] = []会在处理到列表最后一个元组时，直接丢弃当前元组返回空列表，因此输出结果永远缺少最后一项。

基础功能修复（仅解决丢元素问题） #

先调整递归边界，保证所有元素都会被处理：

foo :: Char -> [(Char, Int)] -> [(Char, Int)]
foo _ [] = []
foo a ((x,y):xs)
  | x == a = (x, y + 1) : foo a xs
  | otherwise = (x, y) : foo a xs

该版本会遍历列表中所有元组，所有和输入字符匹配的元组都会将对应整数加1，不会遗漏元素。

新增「不存在则追加」功能 #

如果需要实现输入字符不在列表中时，自动追加(目标字符, 1)的元组，有两种常用实现思路：

思路1：逻辑直观的双遍历实现 #

先处理所有元素，再判断是否需要追加新元组，代码易读性高：

foo :: Char -> [(Char, Int)] -> [(Char, Int)]
foo a lst = let 
    processed = map (\(c, n) -> if c == a then (c, n + 1) else (c, n)) lst
    hasMatch = any (\(c, _) -> c == a) processed
  in if hasMatch then processed else processed ++ [(a, 1)]

思路2：效率更高的单遍历实现 #

通过带标记的辅助递归，仅遍历列表一次即可完成全部逻辑，性能更优：

foo :: Char -> [(Char, Int)] -> [(Char, Int)]
foo a lst = go lst False
  where
    go [] found = if found then [] else [(a, 1)]
    go ((x,y):xs) found
      | x == a = (x, y + 1) : go xs True
      | otherwise = (x, y) : go xs found

测试验证 #

1. 存在匹配字符的场景：

foo 'a' [('a',1),('b',2),('c',1)]
-- 输出: [('a',2),('b',2),('c',1)]

2. 无匹配字符的场景：

foo 'd' [('a',1),('b',2),('c',1)]
-- 输出: [('a',1),('b',2),('c',1),('d',1)]

内容的提问来源于stack exchange，提问作者Niki