Raamatut ei saa failina alla laadida, kuid seda saab lugeda meie rakenduses või veebis.
Maht 277 lehekülge
2022 aasta
0+
Raamatut ei saa failina alla laadida, kuid seda saab lugeda meie rakenduses või veebis.
Raamatust
Предназначен для начального изучения функционального программирования. Излагаются методы рекурсивного программирования, построение алгоритмов из функций высшего порядка, использование ленивых вычислений. Рассматриваются алгебраические методы
преобразования программ и методы доказательства законов функциональных программ. Особое внимание уделяется системе проверки типов и алгебраическим типам данных. На примере реализации компилятора для простого императивного языка показаны преимущества
функционального программирования.
Соответствует ФГОС ВО последнего поколения.
Для студентов магистратуры, обучающихся по направлениям, связанным с программированием, и для программистов, желающих изучить основы функционального программирования.