Existem artigos revisados ​​por pares estudando os prós e contras da programação funcional?

Alguém pode me encaminhar para artigos revisados ​​por pares estudando as vantagens ou desvantagens de escrever código em um estilo funcional? Existem documentos que discutem as aplicações do Lambda Calculus em áreas como Machine Learning, Language Design, etc.?

Existe um artigo famoso " Why Functional Programming Matters ", de John Hughes. O principal argumento deste artigo é a modularidade de programas funcionais.

Além disso, o trabalho de Chris Okasaki sobre estruturas funcionais de dados é muito interessante. O artigo "Árvores preto-vermelho em um ambiente funcional" fornece uma implementação muito clara de árvores preto-vermelho usando linguagem de programação funcional, que é muito mais simples que sua implementação imperativa no livro "Introdução aos algoritmos", de Tomas H. Cormen et al. .

uma referência semi-famosa de alta qualidade e livre nessa área é Estrutura e interpretação de programas de computador por Abelson e Sussman, professores do MIT, mais algumas informações na wikipedia . eles defendem a programação funcional como uma maneira de entender a teoria e a abstração da programação, de modo que a compreensão da programação funcional ajude a entender / aplicar os mesmos princípios em qualquer linguagem. eles fazem algum esforço para discriminá-lo / justapor com o que é chamado de "estilo imperativo", mas sem comparações lado a lado.