Предназначен для начального изучения функционального программирования. Излагаются методы рекурсивного программирования, построение алгоритмов из функций высшего порядка, использование ленивых вычислений. Рассматриваются алгебраические методы преобразования программ и методы доказательства законов функциональных программ. Особое внимание уделяется системе проверки типов и алгебраическим типам данных. На примере реализации компилятора для простого императивного языка показаны преимущества функционального программирования.Соответствует ФГОС ВО последнего поколения.Для студентов магистратуры, обучающихся по направлениям, связанным с программированием, и для программистов, желающих изучить основы функционального программирования.
Prednaznachen dlja nachalnogo izuchenija funktsionalnogo programmirovanija. Izlagajutsja metody rekursivnogo programmirovanija, postroenie algoritmov iz funktsij vysshego porjadka, ispolzovanie lenivykh vychislenij. Rassmatrivajutsja algebraicheskie metody preobrazovanija programm i metody dokazatelstva zakonov funktsionalnykh programm. Osoboe vnimanie udeljaetsja sisteme proverki tipov i algebraicheskim tipam dannykh. Na primere realizatsii kompiljatora dlja prostogo imperativnogo jazyka pokazany preimuschestva funktsionalnogo programmirovanija.Sootvetstvuet FGOS VO poslednego pokolenija.Dlja studentov magistratury, obuchajuschikhsja po napravlenijam, svjazannym s programmirovaniem, i dlja programmistov, zhelajuschikh izuchit osnovy funktsionalnogo programmirovanija.
