arrays - 切片 IOArray（或一般的 MArray）

Question

IOArray有没有一种方法可以有效地从或一般情况下构造切片（子数组视图）MArray？也就是说，取同一个数组，只是限制边界。签名可以是

(MArray a e m, Ix i) => a i e -> i -> i -> m (a i e)

例如，获取一个有边界的数组(1,1000)并创建一个视图，该视图只允许访问具有(500,700)原始数组边界的元素。我搜索了文档，但找不到任何此类功能。

Answer 1

考虑到数组类型是如何实现的，这并不是数组真正的特性，这可能就是为什么这些方面已经不存在的原因。

回想一下，数组是一个连续的内存块，因此在某种程度上，每个包含n元素的数组都有 bounds (0, n-1)。然而，想要从零开始的整数以外的索引是很常见的，以至于 Haskell 提供了一个类型类来定义任意边界并将这些边界内的元素转换为实际内存块的基于 0 的整数索引。

这会给您想要做的事情带来一些困难，因为假设数组的边界覆盖了它的整个范围。因此，如果您要简单地创建使用相同内存块但边界不同的现有数组的副本，则索引不会对齐 - 在您的示例中，子数组中的索引 500 将与原始数组中的索引 1 相同大批。没有帮助。

这里最简单的方法是定义您自己的数组类型，该数组类型包装现有数组并存储转换索引所需的任何额外信息，以便它将自己的边界报告为较小的范围，但根据全系列。然后，您可以在任何地方使用包装的数组类型（并为其提供所有预期的实例等），只需使用与“真实”数组相同的边界即可。您可以在此处对索引执行所需的任何转换，因此这种方法应该推广到也没有线性顺序的索引类型（例如，由元组索引的“多维”数组）。

您可能还可以做一些涉及围绕索引类型的包装器的事情，并为包装器版本提供一个奇怪的Ix实例，以某种方式自动翻译事物，这将让您使用现有的数组类型。不过，要正确工作可能会更棘手。

我认为没有任何方法可以在不更改数组或索引类型的情况下做到这一点。