📖 Функциональное программирование. Учебник
Предназначен для начального изучения функционального программирования. Излагаются методы рекурсивного программирования, построение алгоритмов из функций высшего порядка, использование ленивых вычислений. Рассматриваются алгебраические методы преобразования программ и методы доказательства законов функциональных программ. Особое внимание уделяется системе проверки типов и алгебраическим типам данных. На примере реализации компилятора для простого императивного языка показаны преимущества функционального программирования.
Соответствует ФГОС ВО последнего поколения.
Для студентов магистратуры, обучающихся по направлениям, связанным с программированием, и для программистов, желающих изучить основы функционального программирования.
О книге
автор, издательство, серия- Издательство
- Кнорус
- Серия
- Магистратура
- ISBN
- 978-5-406-08432-8
- Год
- 2022