Haskell STM分片TVAR

Question

我是Haskell和STM的新手，我正在尝试理解基本的概念。

在Haskell和函数式编程中，如果我错了，请纠正我，没有像赋值这样的东西。

我不能写x=3;，我能做的就是用x和3生成另一个绑定。

现在谈到TVar和线程，如果我有多个线程共享相同的TVar，如果一个线程更改了值，使用writeTVar，其他线程将看到更改后的值，对吗？

因此，如果我有两个线程共享相同的TVar Int变量，并且第一个线程将其加1，那么在成功的情况下，第二个线程将看到更新值？

塔克斯

Answer 1

考虑TVar不是一个变量，而是一个可以读写的通道可能会更好。

一个纯变量可以被认为是一个纯函数，它总是返回一些值(这个值只被绑定一次，就像你的例子一样)。monad中的变量/函数有一些“上下文”(这就是monad的作用)，可以改变它的值(例如，来自System.Random的randomIO :: Random a => IO a可以被认为是一个“一元值”，值可以在任何调用中改变)。

读写TVar是显式的操作，不是纯粹的，这就是为什么函数readTVar/writeTVar被包装到STM monad中，它们依赖于一些隐藏的上下文，这可能会改变结果(使线程之间的值转移成为可能)。这将这些操作限制在STM monad中，而monad只能转义到IO。

Answer 2

是的，TVar是容器，当它的内容改变时它不会改变。所有线程都看到相同的容器，当一个线程更改容器中存储的内容时，当另一个线程查看时，它会找到更改后的值。