Pure functional languages do have state. They don't have _implicit_ state. You can absolutely reason about state with mathematical abstractions, it's just not "

Pure functional languages do have state. They don't have _implicit_ state. You can absolutely reason about state with mathematical abstractions, it's just not "free" and there's a learning/comfort curve.