А что если у меня вот такое: foo :: (ReaderT (IORef

Question

А что если у меня вот такое: foo :: (ReaderT (IORef

MyStuff) m, MonadIO m) => m ()
foo = handle (\(e :: SomeException) -> putTextLn $ show e) $ do
doSomethingThatUpdatesIORef -- тут будет неконсистентное состояние
doSomethingElse -- тут будет throw
finishUpdatingIORef -- тут состяние снова станет консистентным
после бросание эксепшена состояние будет такое, будто foo вообще не вызывали, или данные в иорефе поменяются?

#haskell #programming #russian

0

25.05.2023