On the contrary, pure FP excels at manipulating state. The name "pure FP" is a bit of a misnomer, because what people really mean by it is that instead of "sid

On the contrary, pure FP excels at manipulating state. The name "pure FP" is a bit of a misnomer, because what people really mean by it is that instead of "side effects" we have "typed effects". The effects always appear in the types of our computations, so they're not really "side" effects anymore, they're a central part of the computation.