使用foldr实现init

Question

我必须通过 foldr 使用 map 来实现初始化。我得到了大部分，但是我的结果列表中缺少空列表元素。

inits :: [a] -> [[a]]
inits = foldr ( \ x y -> [x] : (map (x:) y) ) []

调用时会导致：

*蓝图

[[1],[1,2],[1,2,3]]

我现在有点卡住了，如果有人能指出我错误的大致方向，我会很高兴。

提前致谢

已解决：

inits :: [a] -> [[a]]
inits = foldr ( \ x y -> [] : (map (x:) y) ) [[]]

Answer 1

要使用foldr f z 编写内容，您需要考虑两件事：

1. 基本情况z：inits [] 应该是什么？
2. 递归步骤f：如果你有一个列表xs == x:xs'，你如何从x和y == inits xs'构造inits xs？

---

在纸上研究一些小例子可能会有所帮助。例如

• 递归计算inits [1]：你有x == 1和y == inits [] == [[]]，需要到达[[], [1]]。
• 递归计算inits [1, 2]：你有x == 1和y == inits [2] == [[], [2]]，需要到达[[], [1], [1, 2]]。

Answer 2

更紧凑的解决方案：

inits :: [a] -> [[a]]
inits = foldr ((([] :) .) . map . (:)) [[]]