Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 01.01.2026; планируемая отправка: 02.01.2026
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 04.01.2026; планируемая отправка: 05.01.2026
Технические характеристики
Предназначен для начального изучения функционального программирования. Излагаются методы рекурсивного программирования, построение алгоритмов из функций высшего порядка, использование ленивых вычислений. Рассматриваются алгебраические методы преобразования программ и методы доказательства законов функциональных программ. Особое внимание уделяется системе проверки типов и алгебраическим типам данных. На примере реализации компилятора для простого императивного языка показаны преимущества функционального программирования. Соответствует ФГОС ВО последнего поколения. Для студентов магистратуры, обучающихся по направлениям, связанным с программированием, а также специалистов, желающих изучить основы функционального программирования.