5

所以，让我们直奔主题。

:t (map.foldr)
(map.foldr) :: (a1 -> a -> a) -> [a] -> [[a1] -> a]

什么是 [[a1] -> a]？我真的很想理解这个组合，所以我这样做了：

-- map.foldr

    map.foldr :: (a1 -> a -> a) -> [a] -> [[a1] -> a]

    map :: (a1 -> b1) -> [a1] -> [b1]
    (.) :: (y -> w) -> (x -> y) -> x -> w
    foldr :: (a -> b -> b) -> b -> [a] -> b

    y = (a1 -> b1)      w = ([a1] -> [b1])
    x = (a -> b -> b)   y = (b -> [a] -> b)

    y = (a1 -> b1)  
    y = (b -> [a] -> b)
_________________________

在这一点上会发生什么？谢谢！

4

3 回答 3

15

要回答这个问题，最好回忆一下做什么foldr和map做什么。

两者中比较复杂的是foldr, 有类型

--              list to be folded
--                              v
foldr :: (a -> b -> b) -> b -> [a] -> b
--             ^          ^
--folding function        terminal value

要折叠的列表实际上是一个 conses 链(:)和一个终端空列表：

1 : 2 : 3 : []

的作用foldr是将:和[]构造函数分别替换为折叠函数和终止值：

foldr (+) 0 (1 : 2 : 3 : []) == 1 + 2 + 3 + 0

map功能更简单。一种思考方式是获取一个函数和一个列表，并将该函数应用于列表的每个参数：

map :: (a -> b) -> [a] -> [b]
--        ^         ^
-- function         list

但是，您也可以将其视为一个函数，并将其提升为一个作用于列表的函数：

map :: (a -> b) -> ( [a] -> [b] )
--        ^              ^
-- function              function on lists

组合这两个函数是什么意思map . foldr？请注意，这只是一个接一个地应用功能 - 特别是，

(map . foldr) f == map (foldr f)

由于您foldr首先应用，因此您必须将其应用到一个函数f :: a -> b -> b，然后您将返回另一个函数：

foldr f :: b -> [a] -> b
--         ^     ^
--terminal val   list to be folded

现在你 apply map，它提升了作用于列表的功能：

map (foldr f) :: [b] -> [[a] -> b]
--                ^          ^
--list of terminal vals      functions that fold lists

这种类型看起来很奇怪，但它是有效的。现在不是单个终端值，而是给它一个终端值列表，然后返回一个折叠函数列表 - 一个用于您提供的每个终端值。

为了更清楚，我们可以查看一个特定的函数(+)，它具有类型

(+) :: Num a => a -> a -> a

如果我们把它代入上面的等式，我们得到

(map . foldr) (+) :: Num a => [a] -> [[a] -> a]
--                             ^          ^
--         list of terminal vals          functions that fold lists

如果我们现在将它应用到列表中[0, 1, 2]，我们会得到一个包含三个函数的列表：

(map . foldr) (+) [0,1,2] :: Num a => [[a] -> a]

我们可以使用map ($x)成语将列表中的每个函数应用于特定参数。它必须是一个数字列表，我会选择[3,4,5]. 仔细观察：

> map ($[3,4,5]) ((map.foldr) (+) [0,1,2])
[12, 13, 14]

该列表[3,4,5]被用作折叠函数折叠了三次(+)，每次都使用不同的终端值：

3 + 4 + 5 + 0 == 12
3 + 4 + 5 + 1 == 13
3 + 4 + 5 + 2 == 14

当终端值为 时0，我们只需得到值的总和：3 + 4 + 5 == 12。当终值是1我们得到的值比总和多 113时，当终值是我们得到的值2比总和多 214

于 2013-02-02T21:26:17.573 回答
2

要从上次中断的地方继续， 的两个定义y必须相等：

y = (a1 -> b1) = (b ->  [a] -> b)
               = (b -> ([a] -> b))

所以我们可以得出结论：

a1 = b
b1 = [a] -> b

函数组合提供了两个函数参数，因此结果类型为：

x -> w

但我们知道：

x = a -> b -> b
w = [a1] -> [b1] = [b] -> [[a] -> b]

所以，结果类型是：

(x -> w) = ((a -> b -> b) -> ([b] -> [[a] -> b]))
         =  (a -> b -> b) ->  [b] -> [[a] -> b]

这与：

(a1 -> a -> a) -> [a] -> [[a1] -> a]
于 2013-02-02T20:51:25.827 回答
1 
map.foldr :: (a1 -> a -> a) -> [a] -> [[a1] -> a]

map :: (a1 -> b1) -> [a1] -> [b1]
(.) :: (y -> w) -> (x -> y) -> x -> w
foldr :: (a -> b -> b) -> b -> [a] -> b

-- if you substitute: x = (a -> b -> b)   y = (b -> [a] -> b)
-- then you get for map :: (b -> ([a] -> b)) -> [b] -> [[a] -> b]
-- so if composition operator applied:
map . foldr :: (a -> b -> b) -> [b] -> [[a] -> b]
于 2013-02-02T19:31:14.647 回答