AFAIK they tend to operate through the IO monad, which serves to order read/write events and mark parts of your code as interacting with the global mutable state that lives outside your program.
So the mutable (or is it “volatile”?) environment is there, but you explicitly know when and where you interact with it.