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