> You can use object libraries in FP languages to encapsulate the state and logic but avoid the mutation of the state.

Where is the OO in that approach? The encapsulation?