比较两个具体的例子：

> inits [1,2,3]
[[],[1],[1,2],[1,2,3]]
> inits [2,3]
[[],[2],[2,3]]

字符串
你需要采取什么步骤把第二个结果变成第一个？

在我编写inits函数的代码的过程中，tails函数的代码出来了：

tails :: [Int] -> [[Int]]
tails [] = [[]]
tails (x:xs) =  (x:xs): tails xs

字符串

作为显式递归的替代方案，编写tails的一种方法是使用scanr，它的工作方式与foldr非常相似，但将中间结果保存为列表。

Prelude> scanr (:) [] [1,2,3]
[[1,2,3],[2,3],[3],[]]
Prelude> scanr (:) [] $ tail [1,2,3]
[[2,3],[3],[]]
Prelude> tails = scanr (:) [] . tail
Prelude> tails [1,2,3]
[[2,3],[3],[]]

字符串
实现inits可以类似地使用scanl实现：

Prelude> scanl (flip (:)) [] [1,2,3]
[[],[1],[2,1],[3,2,1]]
Prelude> map reverse $ scanl (flip (:)) [] [1,2,3]
[[],[1],[1,2],[1,2,3]]
Prelude> inits = map reverse . scanl (flip (:)) []
Prelude> inits [1,2,3]
[[],[1],[1,2],[1,2,3]]

型