arrays - Haskell 中的卡住和解冻数组

Question

我正在开发一个涉及在 Haskell 中读取和写入数组的项目。我想将数组存储在不可变数组类型中(因为我想尽可能避免可变性)，因此我正在使用 freeze 和 thaw 函数MArray s。但我对如何使用这些功能感到困惑。这就是我所拥有的(无法编译):

modifyBoard bd = freeze mbd 
where 
    t = view falling st
    ps = extractLocs t
    mbd = runSTArray $ do
     a <- thaw bd
     mapM_ (\xy -> writeArray mbd xy (Filled t)) ps
     return a

我不应该以这种方式使用数组吗？或者我该如何解决这个问题？

Answer 1

它应该可以通过一些更改来工作:

1.) 修改解冻的 a 而不是未解冻的 bd。

2.) 否，runSTArray 后无需重新卡住。您返回的结果已经被卡住。

modifyBoard bd = mbd 
    where 
        t = view falling st
        ps = extractLocs t
        mbd = runSTArray $ do
            a <- thaw bd
            mapM_ (\xy -> writeArray a xy (Filled t)) ps
            return a