修复动态编程

Question

两个相关问题。

• 为什么没有repa数组的可变（ST monad）实现？相当于Data.Vector.Mutable但具有形状。

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

Answer 1

Repa专为批量数据并行编程而设计。必须能够以任意顺序计算数组元素，否则Repa评估方法将无效。

如果要基于其他数组元素破坏性地更新数组元素，则会限制评估顺序。如果你无法以批量数据并行方式表达算法，那么Repa对你没有帮助。