Ebook: Введение в функциональное программирование

https://funprog-ru.github.io/
Это пособие представляет собой конспект лекций по курсу Введение в функцио-
нальное программирование, который преподавался мной в университете Кембриджа
в 1996/7 учебном году.
Структура курса, в основе которой лежит чередование теории с практикой, со-
хранилась с прошлых лет в том виде, в котором она была предложена моим предше-
ственником Майком Гордоном. Его лекционные материалы [27, часть II] послужили
важным источником заимствований. Существенное влияние также оказали авторы
смежных курсов: Энди Гордон, Ларри Полсон, Энди Питтс (теория типов).
Отдельная глава полностью посвящена реализации нескольких примеров. В силу
своего объёма, она не рассматривается на экзамене и предназначена для самостоя-
тельного изучения. Её цель — закрепление пройденного материала и демонстрация
возможностей ML на практике.