関数型プログラミングの長所と短所を研究している査読済みの論文はありますか？

機能的なスタイルでコードを書くことの長所と短所を研究している査読付き論文を誰かに紹介してもらえますか？機械学習、言語設計などの分野でのLambda Calculusのアプリケーションについて議論する論文はありますか

John Hughesによる著名な論文「Why Functional Programming Matters」があります。この論文の主な論点は、機能プログラムのモジュール性です。

また、機能データ構造に関するChris Okasakiの研究は非常に興味深いものです。「機能設定の赤黒木」という記事は、関数型プログラミング言語を使用した赤黒木の非常に明確な実装を提供します。これは、Tomas H. Cormen et al 。

この分野での準有名で高品質な無料の参考資料は、MIT教授のAbelsonとSussmanによるコンピュータープログラムの構造と解釈、ウィキペディアに関する詳細情報です。彼らは、関数型プログラミングの理解があらゆる言語で同じ原則を理解/適用するのに役立つように、プログラミングの理論と抽象化を理解する方法として関数型プログラミングを提唱しています。彼らは「命令型」と呼ばれるものとそれを区別/並置するための努力をしますが、並べて比較しません。