Haskell字符串列表字符替换问题：类型匹配错误与实现需求

错误原因 #

1. 类型冲突：原代码中repl是双参数函数，repl x返回Int -> a类型的函数，但eval的else分支返回Char类型的x，导致两个分支类型不匹配，编译器无法推断eval的统一类型。
2. 逻辑失效：计数变量c固定为1，count函数仅定义未调用，无法跟踪moves的使用进度，根本实现不了“依次替换”的需求。

修正后的代码 #

import Data.Char ( intToDigit )

sample :: [String]
sample = ["AC DE",
          "FBHIJ",
          "KGLNO",
          "PQMRS",
          "UVWXT"]

moves = "CBGLMRST"

type Result = [String]

pp :: Result -> IO ()
pp x = putStr (concat (map (++"\n") x))

-- 递归处理字符，同时消耗moves列表
processChars :: [Char] -> [Char] -> [Char]
processChars [] _ = []
processChars (c:cs) ms
  | c == ' ' = case ms of
      (m:rest) -> m : processChars cs rest  -- 用moves的下一个字符替换空格
      [] -> c : processChars cs []          -- moves耗尽时保留空格
  | otherwise = c : processChars cs ms     -- 非空格字符直接保留

-- 将扁平字符列表拆分回原行结构
splitToLines :: [String] -> [Char] -> [String]
splitToLines [] _ = []
splitToLines (line:lines) chars = take len chars : splitToLines lines (drop len chars)
  where len = length line

p :: [String] -> [Char] -> Result
p input moves = splitToLines input (processChars (concat input) moves)

修正说明 #

1. 纯函数式的进度跟踪：用递归遍历+消耗moves列表的方式替代可变计数，符合Haskell的纯函数风格，自然实现“依次使用moves中字符”的逻辑。
2. 类型统一：processChars始终返回[Char]，彻底解决原代码的类型冲突问题。
3. 保留原格式：splitToLines确保处理后的字符列表恢复成原输入的行结构，输出格式符合预期。

若实际需求是替换特定字符（而非空格，比如原输入中的B、G等），只需修改processChars中的判断条件，将c == ' '改为c elem ['B','G','L','M','T']即可适配期望输出。

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