Question

在haskell中，foldl运算符的初始值显然是强制性的

Prelude> foldl (+) 0 [1]
1
Prelude> foldl (+) 0 []
0
Prelude> :t foldl
(a -> b -> a) -> a -> [b] -> a

但是在reduce函数（或functools.reduce）中，初始值是可选的

reduce(function, sequence[, initial]) -> value

唯一需要初始值的时间是序列为空时。这与haskell中的行为一致。 python中的reduce是否假定序列的大小为1;然后它在内部处理这些角落案件？

>> reduce(operator.sub, [1])
1
>> reduce(operator.mul, [1])
1
>> reduce(operator.add, [1])
1

Answer 1

回想一下，在Haskell中有两个版本的折叠 - 一个采用某种结果类型的种子，另一种假设种子是序列的第一个元素。

foldr :: (a -> b -> b) -> b -> [a] -> b
foldr k z = go
        where
            go []     = z
            go (y:ys) = y `k` go ys

和

foldr1 :: (a -> a -> a) -> [a] -> a
foldr1 _ [x]            =  x
foldr1 f (x:xs)         =  f x (foldr1 f xs)
foldr1 _ []             =  errorEmptyList "foldr1"

foldr使用序列的初始元素作为第一个状态。

还有一个重要的区别：通过使用序列的第一个元素作为输入状态，foldr1被约束为返回与输入列表相同类型的数组。 foldr但是可以返回一些不同的类型。

Answer 2

来自manual：

如果未给出初始值设定项并且可迭代只包含一个项目，则第一项被退回

我也想对此发表评论：

需要初始值的唯一时间是序列空

这不完全正确。在折叠操作中，您通常会假设您有较早的结果可供使用。如果您的折叠操作将元素附加到列表，则初始元素可以是空列表，因此您可以向其添加元素。更一般地说，当函数的返回类型与列表中元素的类型不同时，总是需要初始值。

为什么reduce函数的初始值不是强制性的？

2 个答案: