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