为什么解析错误？缩进？

Question

我写了这段代码：

addNums key num = add [] key num
    where add res a:as b:bs
        | a == [] = res
        | otherwise = add res:(a+b) as bs

在第 3 行，解释器说：

解析错误（可能是缩进不正确）

我找不到任何错误，无论是代码还是缩进。我为每个选项卡放置了四个空格。

注释：

即使这样也不能编译：

addNums key num = add [] key num
    where add res a:as b:bs
            | a == [] = res
            | otherwise = add res:(a+b) as bs

第 2 行：

模式解析错误：添加

Answer 1

Haskell 中的主要缩进规则是，如果你想在另一行继续定义，它必须比你定义的内容进一步缩进。在这种情况下，您的 add 函数的缩进较少，因此这就是编译器所抱怨的。

忽略代码中的其他错误，缩进应该是这样的：

addNums key num = add [] key num
    where add res a:as b:bs
            | a == [] = res
            | otherwise = add res:(a+b) as bs

另请注意，缩进的确切数量并不重要，重要的是连续行相对于所定义内容的缩进。

你的代码的另一个语法问题是你似乎误解了 Haskell 的优先规则。在 Haskell 中，函数应用程序的绑定比任何运算符都更紧密，因此 add res a:as b:bs 被解析为 (add res a):(as b) :bs，而您的意思是添加 res (a:as) (b:bs)。

最后的问题是类型错误。 (:) 运算符的类型为 a ->; [一]-> [a]，这意味着它需要一个元素和一个列表，并生成一个列表。在您的代码 res:(a+b) 中，您似乎将其颠倒过来，因为 res 是一个列表，而 a+b 是元素。由于 Haskell 中没有运算符可以将单个元素附加到列表的 end 上，因此您必须使用列表串联运算符 (++) :: [a] -> ; [一]-> [a] 改为：res ++ [a+b]。

您还将元素 a 与守卫中的列表 [] 进行比较。这可能不是您的意思，如果列表为空，模式 (a:as) 将不匹配。最简单的解决方案是添加另一个模式而不是你的守卫。

将所有这些放在一起，此代码有望实现您的预​​期：

addNums key num = add [] key num
    where add res [] _ = res
          add res (a:as) (b:bs) = add (res ++ [a+b]) as bs

PS 重复追加到列表末尾并不是很有效。事实上，它是 O(n²)。您可能想添加到前面，并在完成后反转列表。这是 O(n)。

---

参考文献：

• 缩进
• 模式匹配

Answer 2

出现缩进错误是因为您需要将 where 子句中的模式保护至少缩进到第一个定义（在您的情况下为 add）。

除此之外，由于类型错误，代码仍然无法编译。即 a 不是列表，因此 a == [] 不会进行类型检查。此外，您需要更多括号（用于模式匹配列表和要添加的参数）。

您的意思可能是这样的：

addNums key num = add [] key num
    where add res (a:as) (b:bs)
            | as == [] = res
            | otherwise = add (res ++ [a+b]) as bs

编辑：
顺便说一句，我猜你真的想做以下事情：

addNums key num = add [] key num
    where add res (a:as) (b:bs)
           | as == [] = res ++ [a+b]
           | otherwise = add (res ++ [a+b]) as bs

如果是这样的话，你甚至可以写： addNums = zipWith (+) （虽然有点不同，因为它不会抛出当第二个列表比第一个列表短时，模式匹配异常）

Answer 3

第二个问题不是空格问题，您必须将复杂的模式 a:as 和 b:bs 括起来，这样您就可以编写 add res (a: as) (b:bs)

用另一种方式表达有关空白的观点，它在 where 子句中的外观就是它在顶层的外观。你会写：

addNums1 key num = add [] key num

add res (a:as) (b:bs)
  | as == [] = res
  | otherwise = add (res ++ [a+b]) as bs

所以，添加缩进，你会写

 addNums2 key num = add [] key num
   where 
   add res (a:as) (b:bs)
     | as == [] = res
     | otherwise = add (res ++ [a+b]) as bs

但是我们不能取消你的 where 子句的缩进，所以它会在左边距。 （我将其修改为等效的内容）

addNums key num = add [] key num
  where   
  add res a:as b:bs
| a == [] = res
| otherwise = add res:(a+b) as bs

因为守卫位于 add 的左侧；在这里，它们实际上位于左边距。我建议将从属定义与控制 where 对齐：

woof xs = foldr moo baaaah xs
  where
  moo :: Integer -> Integer -> Integer
  moo x 0 = 17
  moo x y = x * x + y * (y + x + 1)
  baaaah :: Integer
  baaaah = 3

-- *Main> woof [1,2]
-- 529

它不像某些东西那么可爱，但不太容易出错，因为它减少了更多地思考缩进的认知负担。 （奥列格做到了！）它也会立即避免这个困难。我认为它并不适合任何地方，但这更有吸引力，也许可以使缩进问题更清晰：

 woof xs = foldr moo baaaah xs where
   moo :: Integer -> Integer -> Integer
   moo x 0 = 17
   moo x y = x * x + y * (y + x + 1)
   baaaah :: Integer
   baaaah = 3

然后我们可以看到 where 子句中的定义列表就像 Haskell 模块中的定义列表一样，用 ' 排列左边距”。