Backus had it right!

Can Programming Be Liberated from the Von Neumann Style?

Tikhon Jelvis has it right! 

And some more findings and opinionn on functional programming. Including discovery of the possibility compile-time garbage collection (to be studied):


https://www.quora.com/Why-does-functional-programming-have-such-a-high-status-in-academic-circles

https://en.wikipedia.org/wiki/ML_(programming_language)

http://lambda-the-ultimate.org/node/2047
https://softwareengineering.stackexchange.com/questions/339666/managed-code-could-gc-be-taken-care-of-during-compile-time
https://link.springer.com/chapter/10.1007/978-1-4471-3810-5_14
https://www.researchgate.net/publication/227295133_Compile-time_garbage_collection_for_lazy_functional_languages
https://lirias.kuleuven.be/bitstream/123456789/131304/1/Mazur.pdf