Haskell中的并行monad映射？像parMapM这样的？

Question

我正在寻找一种在ST-Monad中并行运行两个计算的方法。我正在构建一个相当大的数组(使用STUArray)，并且我想并行地完成它。

到目前为止，我在stackoverflow上找到了this和this Q&A，但是第一个不适用于我的情况，因为它只处理纯代码，第二个处理IO monad -但我处于状态线程中。

我也找到了monad-parallel包，但它要求我有一个用于ST的'MonadParallel‘实例。此外，monad-par包只支持纯计算或IO monad。

有没有办法在ST中进行并行一元计算？

Answer 1

首先，在你的问题中只有两个词:并行和数组-我必须推荐你看看。你也应该看看，因为它有望成为哈斯克尔之路上的下一个重大里程碑，而且这个项目也有some great people involved。

关于你的具体问题，有一些库可以完全满足你的要求，只需使用IO monad，已经命名的和 with mapConcurrently即可。您有没有考虑过使用stToIO进入IO

还有一个库，它扩展了标准版本以与MonadBaseControl一起工作，该库有一个ST实例，因此您可以使用它的mapConcurrently版本，或者至少将其作为实现您自己的mapConcurrently的灵感。

Answer 2

我不确定你是否可以安全地并行化ST monad，或者这是否有意义，因为通常情况下，状态monad中的计算依赖于状态，而状态是先前计算的结果。

然而，您可以做的是从列表创建数组，并且列表的创建很容易并行，例如通过parallel包中的parMap。

向我们提供有关如何创建数组数据的更多详细信息可能会帮助您获得更好的答案。