Hajm 277 sahifa
2022 yil
Функциональное программирование. (Магистратура). Учебник.
Kitob haqida
Предназначен для начального изучения функционального программирования. Излагаются методы рекурсивного программирования, построение алгоритмов из функций высшего порядка, использование ленивых вычислений. Рассматриваются алгебраические методы
преобразования программ и методы доказательства законов функциональных программ. Особое внимание уделяется системе проверки типов и алгебраическим типам данных. На примере реализации компилятора для простого императивного языка показаны преимущества
функционального программирования.
Соответствует ФГОС ВО последнего поколения.
Для студентов магистратуры, обучающихся по направлениям, связанным с программированием, и для программистов, желающих изучить основы функционального программирования.