haskell - repa 中的动态规划

Question

两个相关的问题。

• repa数组没有可变（ST monad）实现是否有原因？等效于Data.Vector.Mutable但具有形状。

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

Answer 1

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

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