Názor k článku Recenze knihy Functional Thinking (Paradigm over syntax) od Radek Miček - > správost algoritmu nebo dokonce programu lze prokázat Pro...

> správost algoritmu nebo dokonce programu lze prokázat

Pro OO jazyky existují nástroje pro verifikaci - např. KeY pro Javu.

> Teď vůbec nehovořím o problémech s paralelními výpočty, to je podle mě jenom vedlejší efekt.

Paradoxně v praxi je s paralelními výpočty ve funkcionálních jazycích často větší problém než v imperativních jazycích.

Viz například už starší zápisek Parallel generic quicksort in Haskell.