foldl实现运行时错误

Question

了解一下Haskell解释了foldl1 ：

foldl1和foldr1函数的工作方式与foldl和foldr非常相似，只是您不需要为它们提供明确的起始值。 他们假设列表的第一个（或最后一个）元素是起始值，然后使用旁边的元素开始折叠。 ...

因为它们依赖于它们折叠的列表至少有一个元素，所以如果使用空列表调用它们会导致运行时错误

我认为它的实现或多或少是以下几点：

foldl1' :: (a -> a -> a) -> [a] -> a
foldl1' f ys = foldl f (head ys) (tail ys)

但是，这种潜在的运行时错误让我很烦恼。

为什么不以下列方式实现foldlOption呢？

foldlOption :: (a -> a -> a) -> [a] -> Maybe a
foldlOption f [] = Nothing
foldlOption f ys = Just (foldl f (head ys) (tail ys))

REPL

*Main> foldlOption (\acc elem -> if (elem > acc) then elem else acc) []
Nothing

-- find max
*Main> foldlOption (\acc elem -> if (elem > acc) then elem else acc) [1,100,2,3]
Just 100

EDITED

更新foldl1的和foldlOption的定义，使用tail ys作为最后一个参数foldl ，不ys每李迪昂的修正。 。

Answer 1

实际上没有理由不这样做。 Haskell的前奏中的许多函数如head ， tail ， init和许多其他函数都会不必要地失败。

对于他们明确地记录他们在类型中的失败会更好，但不幸的是，当Prelude被标准化时我们不能很好地改变像head这样的几个核心功能！

现在我建议不要使用许多这些功能并选择模式匹配，或者加布里埃尔·冈萨雷斯的错误库，它提供了前奏部分功能的替代版本，这些功能正常失败。

例如在Control.Error.Safe中

foldl1Err :: e -> (a -> a -> a) -> [a] -> Either e a

和错误也导出安全，类似的库与Maybe的s具有该功能

foldl1May :: (a -> a -> a) -> [a] -> Maybe a

完全像你想要的:)