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

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