Функциональное программирование
- Sərlövhə:
- Функциональное программирование
- Müəllif:
- Гордиенко Александр
- Nəşr ili:
- 2022
- Annotasiya:
- Предназначен для начального изучения функционального программирования. Излагаются методы рекурсивного программирования, построение алгоритмов из функций высшего порядка, использование ленивых вычислений. Рассматриваются алгебраические методы преобразования программ и методы доказательства законов функциональных программ. Особое внимание уделяется системе проверки типов и алгебраическим типам данных. На примере реализации компилятора для простого императивного языка показаны преимущества функционального программирования.a
Biblioqrafik təsvir
Гордиенко, Александр Петрович. Функциональное программирование: учебник / А. П. Гордиенко.- М.: КНОРУС, 2022.- 278 с.