Yes, and it is a weak point. My point, instead, was that FP does not break down when things get ugly; on the contrary, it gives much stronger guarantees on cor

Yes, and it is a weak point. My point, instead, was that FP does not break down when things get ugly; on the contrary, it gives much stronger guarantees on correctness. Of course, it takes effort to express the problem in the more restrictive functional paradigm.