I think this is precisely why exceptions model particularly well - well - exceptional situations. They let you install barriers, and you can safely fail up unt

I think this is precisely why exceptions model particularly well - well - exceptional situations. They let you install barriers, and you can safely fail up until that point, disallowing the program from entering cursed states, all the while a user can be returned a readable error message. In fact, I would be interested in more research into transactions/transactional memory.