haskell - Haskell 中的列表推导是如何实现的？

Question

列表推导仅仅是一种语言功能吗？

使用纯 Haskell 伪造列表理解的最简单方法是什么？

您是否必须使用 do block />>=要做到这一点，或者你可以使用其他的
一起破解列表理解的方法？

澄清:通过“伪造”列表理解，我的意思是创建一个函数，该函数接受相同的输入并产生相同的输入，即返回值的形式、组合在一起的列表以及谓词或多个谓词。

Answer 1

Section 3.11 Haskell 报告中准确描述了列表推导的含义，以及如何将它们翻译掉。

如果你想要单子(monad)理解，你基本上需要替换 [e]通过 return e , []通过 mzero , 和 concatMap通过 (>>=)在翻译中。