Map，其中每个输入元素可以对应多个输出元素答案

【问题标题】：Map, where each input element can correspond to multiple output elementsMap，其中每个输入元素可以对应多个输出元素
【发布时间】：2015-10-25 19:52:31
【问题描述】：

作为 haskell 的新手，我想知道执行以下操作的更有效方法是什么：

mapmulti :: (a -> [b]) -> [a] -> [b]
mapmulti fn list = concat $ map fn list

我的列表将有数千到数百万个元素，创建一个包含 N 个列表的列表只是为了将它们连接在一起似乎很可惜。

另外，最好是，有一些更通用（可能是单子）的方法让 haskell 从函数的结果逐步创建列表，以便在不创建 O(n) 大小的递归表达式树的情况下逐步构建列表来评估?

【问题讨论】：

【解决方案1】：

随便用

mapmulti = concatMap

来自图书馆。

此外，即使使用您自己的实现，编译器也可以使用称为“森林砍伐”的技术优化中间列表。

即使不这样做，在运行时中间列表在被消费之前也不会完全生成，因为 Haskell 是惰性的。相反，一个列表元素将被生成并立即使用，使其在下一个生成之前可用于垃圾收集。这将大大改善内存占用，因为一切都可以在恒定空间中完成。

【讨论】：

森林砍伐是否发生在很大程度上取决于传递给concatMap 的函数。除非它是一个“好的生产者”，否则列表 conses 将被分配，但可能会立即释放。
@J.Doe，好的生产者是使用 GHC 知道如何与好的消费者融合的函数编写的。基本好的生产者是build 和augment，但你通常不直接使用它们。使用replicate、iterate、unfoldr（最新版本）、map、filter、列表推导和数字范围。
森林砍伐还需要非零优化设置（因此不会在 GHCi 中发生）。