突变状态

Question

我刚刚开始学习素描，所以我希望这不是一个愚蠢的问题。

假设我们有一个对象

a = {x:1,y:2}

我们希望将x改为等于2。据我所知，如果我们使用ST monad，我们必须复制整个对象，以更改值。如果初始对象很大，这将是非常低效率的。什么是正确的方法来改变物体的位置？

Answer 1

ST monad是一种很好的方法，但取决于您的用例，可能有标准库函数，也可能没有标准库函数。

Data.StrMap模块在purescript-maps中为具有字符串键的同构记录定义了一个外部类型，因此如果您的值都具有相同的类型，则可以使用Data.StrMap.ST对记录进行适当的变异。

如果不是，您应该能够很容易地定义一个函数来使用ST和FFI来更新现有的记录。最棘手的一点是选择合适的类型。如果要对特定的键执行某些操作，则可以编写一个函数。

setFoo :: forall r a h eff. STRef h { foo :: a | r } -> a -> Eff (st :: ST h | eff) Unit

例如。在不失去类型安全性的情况下，定义泛型设置程序将更加困难。这是Data.StrMap所做的权衡:您将自己限制为单个值类型，但可以使用任意键。