是否有经过同行评审的论文来研究函数式编程的优缺点？

有人可以让我参考经过同行评审的论文，以功能形式编写代码的优缺点吗？是否有论文讨论Lambda微积分在机器学习，语言设计等领域的应用？

约翰·休斯（John Hughes）着有一篇著名的论文“ 为什么要进行功能编程 ”。本文的主要论点是功能程序的模块化。

另外，克里斯·冈崎（Chris Okasaki）关于功能数据结构的工作非常有趣。文章“功能设置中的红黑树”提供了使用功能编程语言非常清晰地实现红黑树的方法，这比Tomas H. Cormen等人在“算法简介”一书中的命令式实现要简单得多。 。

麻省理工学院教授Abelson和Sussman 编写的计算机程序的结构和解释，是该领域中高质量的免费参考文献，更多关于Wikipedia的信息。他们提倡函数式编程是一种理解编程理论和抽象的方式，这样对函数式编程的理解将有助于人们理解/应用任何语言的相同原理。他们做出了一些努力，以“命令式”将其与/并置起来，但没有并排比较。