Простота написания не является основным критерием качества в большинстве случаев, к тому же верность программы доказана для синтаксиса языка, но никак не для интегральной системы исполнения кода, полученного из этого текста, поэтому не стОит преувеличивать значимость этого, особенно на фоне катастрофического падения производительности ФП на фоне императивных языков.