STM и исходящий IO

Question

Если я нахожусь внутри STM, чья транзакция терпит неудачу, и я повторяю как часть нормального потока управления (без столкновения STM и т. Д.), Я могу указать кому-то вне пути принятия корректирующих действий ,

Если это чисто «исходящий», то моя STM все еще может быть воспроизведена чисто.

Как я мог бы выполнить исходящей IO от STM повторить попытку?

С кем это столкнулось? Как это зло?

Answer 1

Если вы уверены, что выполненный IO не влияет на инварианты STM, вы можете использовать unsafeIOToSTM. Используйте его с большой осторожностью, как все вещи unsafe.

Я, однако, задаюсь вопросом, действительно ли это вам нужно. Об этом нельзя сказать. Если хотите, вы должны избегать этого.