I think that's still pretty well-understood. The real draw to FP in general is you reduce the globally modifiable state to be the things that are truly global t

I think that's still pretty well-understood. The real draw to FP in general is you reduce the globally modifiable state to be the things that are truly global to an application. For web applications, this may be a database. For systems applications it may be a filesystem.