Haskell中where/let绑定使用时的语法错误求助

你的两个版本代码都存在相同的语法和逻辑问题，具体如下：

核心错误点 #

• 守卫（|）语法使用错误：Haskell中，守卫必须紧跟在函数参数列表之后，不能直接写在=后面。你在revHelper acc l =之后直接用|开头定义分支，违反了语法规则，导致解析失败。
• 模式匹配逻辑混乱：你对revHelper的分支定义完全错误：
  • acc []是无效写法，累加器acc不需要做空列表判断，应该针对输入列表l做模式匹配
  • revHelper acc (x':l')不是合法的分支条件，递归分支需要基于l的结构来定义

另外，rev' [x] = [x]这个分支是冗余的，因为[x]本质就是x:[]，会被rev' (x:xs)的分支处理，完全可以删除。

修正后的代码 #

版本1（使用let） #

rev' :: [a] -> [a]
rev' [] = []
rev' (x:xs) = let revHelper acc [] = acc
                  revHelper acc (x':l') = revHelper (x':acc) l'
              in revHelper [] (x:xs)

版本2（使用where） #

rev' :: [a] -> [a]
rev' [] = []
rev' (x:xs) = revHelper [] (x:xs)
    where revHelper acc [] = acc
          revHelper acc (x':l') = revHelper (x':acc) l'

代码解释 #

• revHelper是尾递归辅助函数，第一个参数acc为累加器，用于存储已反转的部分列表
• 当输入列表l为空时，直接返回累加器acc——此时acc就是完全反转后的结果
• 当输入列表非空时，将列表首元素x'放到累加器头部，再递归处理剩余列表l'

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