Czy są recenzowane artykuły badające zalety i wady programowania funkcjonalnego?

Czy ktoś może skierować mnie do recenzowanych artykułów badających zalety lub wady pisania kodu w funkcjonalnym stylu? Czy są artykuły omawiające zastosowania Lambda Calculus w takich dziedzinach, jak uczenie maszynowe, projektowanie języków itp.?

Istnieje słynny artykuł „ Dlaczego funkcjonalne zagadnienia programowania ” autorstwa Johna Hughesa. Głównym argumentem tego artykułu jest modułowość programów funkcjonalnych.

Również praca Chrisa Okasakiego na temat funkcjonalnych struktur danych jest bardzo interesująca. Artykuł „Czerwono-czarne drzewa w otoczeniu funkcjonalnym” zapewnia bardzo wyraźną implementację czerwono-czarnych drzew przy użyciu funkcjonalnego języka programowania, co jest znacznie prostsze niż ich bezwzględna implementacja w książce „Wprowadzenie do algorytmów” Tomasa H. Cormena i in. .

półsławnym, wysokiej jakości, darmowym odniesieniem w tym obszarze jest struktura i interpretacja programów komputerowych Abelsona i Sussmana, profesorów MIT, więcej informacji na wikipedii . opowiadają się za programowaniem funkcjonalnym jako sposobem na zrozumienie teorii i abstrakcji programowania, tak aby zrozumienie programowania funkcjonalnego pomogło zrozumieć / zastosować te same zasady w dowolnym języku. starają się odróżnić go od / zestawić z tym, co nazywa się „stylem imperatywnym”, ale bez porównywania.