«Связь функционального программирования с математическими основами позволяет в тексте программы наследовать доказательность построения результата»
(цитата оттуда же)

КАК!!! как, блин, она позволяет это делать?

«Трудоемкость отладки композиций из хорошо определенных функций растет аддитивно, а не мультипликативно.»

А из плохо определённых? Хорошесть и плохость — это математическое свойство или математики такого не описывали?