haskell - repa 中的动态规划

Question

两个相关的问题。

有没有 repa 的可变(ST monad)实现的原因？数组？相当于 Data.Vector.Mutable但有一个形状。

与此相关，应该如何在未装箱的表示中实现动态编程算法(从 相同的 数组的其他元素计算的数组元素)？

Answer 1

Repa 专为批量数据并行编程而设计。必须可以以任意顺序计算数组元素，否则 Repa 评估方法将不起作用。

如果您想根据其他数组元素破坏性地更新数组元素，那么这会限制评估顺序。如果您不能以批量数据并行方式表达您的算法，那么 Repa 不会帮助您。