STM和传出IO

Question

如果我在事务失败的STM中，并且作为正常控制流(没有STM冲突等)的一部分进行重试，我可能需要向外部的人指出采取纠正措施的方法。

如果是纯粹的“外向”，那么我的STM仍然可以被完全重放。

如何从STM重试中执行传出 IO？

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

Answer 1

如果您确信执行的IO不影响STM的不变量，则可以使用unsafeIOToSTM。非常小心地使用它，作为所有unsafe的东西。

但是，我想知道你是否真的需要这个。从问题上看是不可能的。如果可以的话，你应该避免这样做。