Functional Programming is currently experiencing a battle between those who see formalism as essential to…

Functional Programming is currently experiencing a battle between those who see formalism as essential to comprehension versus newly converted developers who just want to use the stuff and are totally happy with simplistic metaphors.

The difference I guess is that the former group will continue to innovate and create new insights while the latter group will slowly absorb and put them into practice in their daily work (after a delay, sometimes decades after these insights and innovations were made).