«Функциональное программирование» (Харрисон/Филд)

Книга была издана в 1993 году издательством «Мир». Эта книга начинается с рассмотрения понятия функций и применения функций высшего порядка. Также в книге рассматриваются виды вычислений, которые используются при функциональном стиле программирования.

В этой книге для демонстрации приемов программирования применяется язык Hope. Кроме Hope в книге кратко описаны также и другие языки программирования: Lisp, Miranda, FP.

За введением в теорию функционального программирования следует основная часть книги, где освещены вопросы практической реализации языков программирования. Раздел начинается с основ лямбда-исчисления, описания систем вывода и проверки типов, особенностей компиляции  и интерпретации и кода, сборки мусора и представления данных, и заканчивается вопросами оптимизации программ.

Этот учебник можно рекомендовать всем, кто хочет не только досконально освоить функциональное программирование, но и как следует разобраться во внутренней  структуре и устройстве различных языков программирования.