absolutely! A strong component of FP is getting programs right, and forcing the explicit management of state is critical to that. Of course that makes FP a lot harder also, Haskell was not so pretty before the emergence of monads.