No. The point of FP is "minimize state and effects so that the code is easier to understand", not "write it in FP style so that by magic is correct". For exact

No. The point of FP is "minimize state and effects so that the code is easier to understand", not "write it in FP style so that by magic is correct". For exactly the same reason OO is "put the code that manages the state near to the state and split it in manageable parts" and not "dog inherits from animal therefore the code is correct". Leave the faith at the church and approach code with science.