相关疑难解决方法(0)

我已经阅读了很多关于这个主题的研究论文,他们通常认为数组是使用Monads实现的.但是这些论文都没有明确定义如何定义"类型"数组本身,它们只给出了使用monads访问或修改此类型的函数的定义.在Haskell中实现的数组如何有O(1)时间来访问或修改索引元素？(例如STUArray和MArray)

到目前为止，我只找到了向量和序列，但它们都不能替换 O(1) 中列表的元素。这样的数据结构当然会违反 Haskells 结构的不可变特性，但也许仍然存在一些肮脏的实现？每一个反馈都是受欢迎的。