带有 foldr 的 Haskell 子列表

Question

我正在尝试在 haskell 中创建一个函数，但我的目标是通过在列表上使用 foldr 来实现，这是一个示例：

sublistas [5,1,2] 
 [[],[2],[1],[1,2],[5],[5,2],[5,1],[5,1,2]]

效率不是问题。到目前为止我尝试的方法给了我错误：

无法构造无限类型.....

sublistas = foldr (\x rs -> [x] ++ map (x:) rs) [[]]

我尝试了很长时间，也许有人可以在这里给我一些想法？

Answer 1

你可以使用：

foldr (\x rs -&gt; <b>rs</b> ++ map (x:) rs) [[]]

例如：

Prelude> foldr (\x rs -> rs ++ map (x:) rs) [[]] [5,1,2]
[[],[2],[1],[1,2],[5],[5,2],[5,1],[5,1,2]]

建议的foldr 的工作方式如下：我们从[[]] 开始。现在对于元素x，我们生成所有已生成列表的连接（在第一步中[]，这些列表以元素为前缀，所以[2]）。

所以在第一步之后，我们获得了[[],[2]]。接下来我们再次弃牌，现在我们生成[[],[2],[1],[1,2]]。最后我们还使用5，产生[[],[2],[1],[1,2],[5],[5,2],[5,1],[5,1,2]]。

上面的解释必须以一种懒惰的方式来看待：rs 不需要计算（首先），除非有必要。

---

您的 lambda 表达式 \x rs -> [x] ++ map (x:) rs 不正确有两个原因：

• [x] 是一个包含您提供的列表的 item 的列表，而不是您提供的项目列表的列表，因此是类型错误；和
• 无论如何，您都不应该在结果中添加[x]：您将传递所有已生成的元素，以及您在前面添加x 的所有元素。