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