Функциональное программирование. (Магистратура). Учебник. - Александр Петрович Гордиенко (2022г.)

Александр Петрович Гордиевно - это автор книги "Функциональное программирование". В этой книге представлены основы функционального программировании. Тут изложены методы использования функции высшего порядка в написании программ, а также рассмотрены различные методы алгебраического преобразования программ. Особое значение уделяется система проверки типов, которая позволяет выявить ошибки в программах. Все основные темы книг связанные с функциональным программированием оформлены как упражнения по построению программ. Таким образом, данная книга представляет собой хороший вариант для начального изучения основ функционального программирования, для студентов магистратуры и программистов, которые хотят улучшить свои навыки.

Учебник предназначен для начального обучения функциональному программированию. Рассмотрены методы рекурсии, алгоритмы высших порядков, применение ленивого программирования. Освещен вопрос алгебраических методов и преобразований программ, законов разработки функциональных программ. Акцент сделан на проверку типов данных. Учебный материал проиллюстрирован на примере компилятора простого императивного кода. Соответствует новым ФГОС для магистратуры. Учебник адресован магистрантам разных направлений обучения IT-специальностей, аспирантам и программистам, желающим узнать функциональное программирование более глубоко.

Электронная Книга «Функциональное программирование. (Магистратура). Учебник.» написана автором Александр Петрович Гордиенко в 2022 году.

Минимальный возраст читателя: 0

Язык: Русский

ISBN: 9785406084328


Описание книги от Александр Петрович Гордиенко

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



Похожие книги

Информация о книге