Аннотация: Функциональное программирование. Учебник
Предназначен для начального изучения функционального программирования. Излагаются методы рекурсивного программирования, построение алгоритмов из функций высшего порядка, использование ленивых вычислений. Рассматриваются алгебраические методы преобразования программ и методы доказательства законов функциональных программ. Особое внимание уделяется системе проверки типов и алгебраическим типам данных. На примере реализации компилятора для простого императивного языка показаны преимущества функционального программирования.
Соответствует ФГОС ВО последнего поколения.
Для студентов магистратуры, обучающихся по направлениям, связанным с программированием, и для программистов, желающих изучить основы функционального программирования.
Автор/составитель | Гордиенко Александр Петрович |
Серия | Магистратура |
Год выпуска | 2022 |
ISBN | 978-5-406-08432-8 |
Производитель | КноРус |
Издательство | КноРус |
Количество томов | 1 |
Количество страниц | 278 |
Переплет | Твёрдый переплёт |
Размеры | 217x153x18 мм |
Цвет | Зелёный |
Тип бумаги | офсетная (60-220 г/м2) |
Формат | 60x90/16 (145x215 мм) |
Стандарт | 10 |
Вес | 442 |
Язык | русский |