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