haskell - 用否定理解函数组合

Question

阅读来自 an awesome site 的高阶函数页面后我仍然无法理解与函数组合配对的否定函数。

更具体地说，拿这段代码:

ghci> map (negate . sum . tail) [[1..5],[3..6],[1..7]]

产生:

[-14,-15,-27] 

我再次重新阅读了该页面，但老实说，我仍然不知道那行代码是如何产生这个答案的，如果有人能引导我完成这个过程，我将非常感激!

Answer 1

map f [a,b,c] = [f a,  f b,  f c]

因为 map f (x:xs) = f x:map f xs - 申请 f到列表的每个元素。

所以

map (negate.sum.tail) [[1..5],[3..6],[1..7]]
= [(negate.sum.tail) [1..5],   (negate.sum.tail) [3..6],   (negate.sum.tail) [1..7]]

现在

(negate . sum . tail) [1..5]
= negate (sum (tail [1,2,3,4,5]))
= negate (sum  [2,3,4,5])
= negate 14
= -14

因为 (f.g) x = f (g x)和 .是右结合的，所以 (negate.sum.tail) xs = (negate.(sum.tail)) xs依次是 negate ((sum.tail) xs) = negate (sum (tail xs)) .
tail为您提供除列表第一个元素之外的所有内容: tail (x:xs) = xs ，例如 tail "Hello" = "ello" sum按照您的预期将它们相加，并且 negate x = -x .

其他的工作方式类似，给出减去每个列表尾部的总和。