arrays - 位标志数组的数据结构是什么？

Question

我正在将一些命令式代码移植到 Haskell。我的目标是分析一个可执行文件，因此文本部分的每个字节都被分配了许多标志，这些标志都适合一个字节(准确地说是 6 位)。

在像 C 这样的语言中，我只会分配一个字节数组，将它们归零并随时更新它们。我如何在 Haskell 中有效地做到这一点？

换句话说:当我反汇编更多的文本部分时，我正在寻找一个具有按位访问和恒定时间更新的 ByteString。

编辑:当然，如果它具有类似的效率，任何类型的其他数据结构都可以。

Answer 1

Bool 未装箱数组的实现-s 在 array是一个压缩的位数组。您可以在 ST Monad 中对此类数组进行可变更新。 (这本质上与 C 中的运行时行为相同)。