试图通过整数列表来理解递归

Question

我目前正在学习如何在Haskell中使用递归，我试图理解如何遍历整数列表中的每个元素并否定它们。到目前为止，我只能在列表的最后一个元素上执行此操作，因此我知道错误位于最后一行。查看列表中每个元素而不仅仅是最后一个元素的最佳方法是什么？

negation :: [Int] -> [Int]
negation [] = []
negation [n] = [-n]
negation(x:xs) = negation xs

Answer 1

尝试使用cons运算符:将否定数字放在列表的前面。

negation (x:xs) = -x : negation xs

如果你这样做，你可以摆脱第三行。

Answer 2

好吧，编写函数的最佳方法是：

negation :: [Int] -> [Int]
negation xs = map negate xs

{- Example:

>>> map negate [1..5]
[-1,-2,-3,-4,-5]
-}

练习：编写您自己的map版本：

myMap :: (a -> b) -> [a] -> [b]
myMap _ [] = _fillMeIn
myMap f (x:xs) = _fillMeIn

Answer 3

简单的地图：

  Prelude> let negatList= map (*(-1))

示例：

  Prelude> negatList []
  []
  Prelude> negatList [1]
  [-1]

使用递归：

 negation :: [Int] -> [Int]
 negation [] = []
 negation(x:xs) = -x:negation xs

Answer 4

如前面的答案所述，最好的方法是使用更高阶的函数，如下所示

negation xs = map negate xs

尽可能使用高阶函数。它是wiki.haskell.org上提供的一般Haskell编程指南之一，它简化了您的代码。