haskell - 使用foldr 实现init

Question

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

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

调用时会导致:

*Blueprint< inits [1,2,3]

[[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' ，你如何构建 inits xs来自x和y == inits xs' ？

<小时/>

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

• 计算inits [1]递归地:你有 x == 1和y == inits [] == [[]]并且需要访问 [[], [1]] .
• 计算inits [1, 2]递归地:你有 x == 1和y == inits [2] == [[], [2]]并且需要访问 [[], [1], [1, 2]] .