¿Existen artículos revisados ​​por pares que estudien los pros y los contras de la programación funcional?

¿Alguien puede referirme a trabajos revisados ​​por pares que estudien las ventajas o desventajas de escribir código en un estilo funcional? ¿Existen documentos que analicen las aplicaciones del cálculo Lambda en campos como el aprendizaje automático, el diseño del lenguaje, etc.?

Hay un famoso artículo " Por qué importa la programación funcional " de John Hughes. El argumento principal de este artículo es la modularidad de los programas funcionales.

Además, el trabajo de Chris Okasaki sobre estructuras de datos funcionales es muy interesante. El artículo "Árboles rojo-negros en un entorno funcional" proporciona una implementación muy clara de los árboles rojo-negros utilizando un lenguaje de programación funcional, que es mucho más simple que su implementación imperativa en el libro "Introducción a los algoritmos" de Tomas H. Cormen et al. .

Una referencia semifamosa de alta calidad y gratuita en esta área es Estructura e interpretación de programas de computadora por parte de Abelson y Sussman, profesores del MIT, más información en wikipedia . abogan por la programación funcional como una forma de entender la teoría y la abstracción de la programación de tal manera que la comprensión de la programación funcional ayudará a comprender / aplicar los mismos principios en cualquier lenguaje. hacen un esfuerzo para discriminarlo y / yuxtaponerlo con lo que se llama "estilo imperativo" pero sin comparaciones de lado a lado.