STM和输出IO

Question

如果我位于事务失败的 STM 内部，并且我作为正常控制流的一部分重试（无 STM 冲突等），我可能想向外部人员指示采取纠正措施的方法。

如果是纯粹‘传出’的话，那我的STM还是可以纯粹重放的。

我如何通过 STM 重试执行传出IO？

有人遇到过这种情况吗？这有多邪恶？

Answer 1

如果确定执行的IO不会影响STM的不变量，则可以使用 unsafeIOToSTM. 和所有东西一样，请小心使用它unsafe。

然而，我确实想知道您是否真的需要它。从问题中无法判断。如果可以的话，你应该避免它。