对上的 foldr/foldl 似乎忽略了第一个元组组件 [重复]

Question

这个问题在这里已经有了答案：

为什么长度为具有 2 个元素的元组返回 1，并为具有更多元素的元组给出错误？ (2 个回答)

5 天前关闭。

我刚刚注意到：

foldr (+) 0 (3,7)
7
foldl (+) 0 (3,7)
7

这是你所期望的吗？

其背后的原理是什么？

ghci --version 
The Glorious Glasgow Haskell Compilation System, version 9.2.2

Answer 1

那不是错误。 元组的第一个组件是元组“结构”的一部分，因此在fmap ping 时它不会改变。 与Either相同，在相同情况下， Left部分保持不变。

我的意思的一些例子（我从Haskell Programming from First Principles 中拿了这些）：

ghci> fmap (+1) (4, 10)
(4,11)
ghci> pure 1 :: Either a Int
Right 1
ghci> pure 1 :: ([a], Int)
([], 1)

通过阅读类型可能更容易看出这一点：

ghci> :t foldr
foldr :: Foldable t => (a -> b -> b) -> b -> t a -> b

-- So it expects a Foldable `t b`, where `t` is the structure
ghci> :t foldr (+) 0
foldr (+) 0 :: (Foldable t, Num b) => t b -> b

-- Notice how the String type isn't even mentioned
ghci> :t foldr (+) 0 ("asdf", 1)
foldr (+) 0 ("asdf", 1) :: Num b => b

-- It doesn't touch the first element of the tuple!
ghci>  foldr (+) 0 (undefined, 1)
1