«Функциональное программирование» (Харрисон/Филд)
Книга была издана в 1993 году издательством «Мир». Эта книга начинается с рассмотрения понятия функций и применения функций высшего порядка. Также в книге рассматриваются виды вычислений, которые используются при функциональном стиле программирования.
В этой книге для демонстрации приемов программирования применяется язык Hope. Кроме Hope в книге кратко описаны также и другие языки программирования: Lisp, Miranda, FP.
За введением в теорию функционального программирования следует основная часть книги, где освещены вопросы практической реализации языков программирования. Раздел начинается с основ лямбда-исчисления, описания систем вывода и проверки типов, особенностей компиляции и интерпретации и кода, сборки мусора и представления данных, и заканчивается вопросами оптимизации программ.
Этот учебник можно рекомендовать всем, кто хочет не только досконально освоить функциональное программирование, но и как следует разобраться во внутренней структуре и устройстве различных языков программирования.