我有一个 3D 坐标 (x,y,z) 列表，它在每个位置指定一个标量值 (rho)，我已将其加载到 repa 数组中：
a :: Array D DIM1 (Int, Int, Int, Double)
即每个数组元素是一个4元组，代表(x,y,z,rho)。此外，我不依赖于使用 repa。
我想将其转换为 DIM3 数组，每个位置都包含适当的 rho 值（或默认值，或者可能是插值）。
我想不出一种方法来做到这一点traverse（至少效率不高），因为traverse使用来自新数组的索引，而不是源数组。repa 是否有可能，还是我需要使用不同的数组库（甚至是可变的）？