Haskell字符替换函数问题求助：将指定字符替换为*

你的代码主要存在类型签名错误、递归逻辑错误以及缺少基准情况这几个问题，下面逐个拆解并修正：

1. 第一次尝试的问题 #

zensiert :: [Char] -> String
zensiert c (x:xs) 
    | x == c = x == '*'
    | otherwise = zensiert c (x:xs)

• 类型签名错误：函数需要接收一个Char（要替换的字符）和一个String（目标字符串），正确类型应为zensiert :: Char -> String -> String，你写成了只接收一个[Char]的函数。
• 逻辑错误：x == '*'是布尔值，不是字符类型，匹配时应构造新列表：'*' : zensiert c xs。
• 递归死循环：otherwise分支递归调用zensiert c (x:xs)，永远不会推进到列表下一个元素，会无限循环。
• 缺少基准情况：未处理空列表[]，递归无法终止。

2. 第二次尝试的问题 #

zensiert :: [Char] -> String                                
zensiert (x:xs) = if x == 'c' then ('*' : zensiert xs) else (x : zensiert xs)

• 类型签名依然错误：需要Char -> String -> String，但你定义的函数只接受一个[Char]参数，调用时传入两个参数（'l'和"Hello"）导致类型不匹配，这就是报错的直接原因。
• 硬编码替换目标：把要替换的字符写死成'c'，而非使用传入的参数c，函数永远只会替换'c'，不符合需求。
• 缺少基准情况：未处理空列表，递归无法终止。

正确实现 #

zensiert :: Char -> String -> String
-- 基准情况：空字符串直接返回空
zensiert _ [] = []
-- 递归处理每个字符
zensiert c (x:xs)
    | x == c    = '*' : zensiert c xs
    | otherwise = x : zensiert c xs

代码解释 #

• 类型签名Char -> String -> String明确表示：接收一个替换目标字符c、一个输入字符串，返回处理后的字符串。
• 基准情况zensiert _ [] = []：输入字符串为空时直接返回空，确保递归可以终止。
• 递归分支：
  • 当前字符x等于c时，将'*'添加到结果头部，递归处理剩余字符串xs。
  • 不相等时，将原字符x添加到结果头部，继续递归处理剩余字符串。

测试示例：

zensiert 'l' "Rolls a ball around the corner and falls down."
-- 返回 "Ro**s a ba** **around the corner and fa**s down."

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