Функциональное программирование. (Магистратура). Учебник
Гордиенко А.П.
Предназначен для начального изучения функционального программирования. Излагаются методы рекурсивного программирования, построение алгоритмов из функций высшего порядка, использование ленивых вычислений. Рассматриваются алгебраические методы преобразования программ и методы доказательства законов функциональных программ. Особое внимание уделяется системе проверки типов и алгебраическим типам...
ISBN: 978-5-406-08432-8
Издательство:
КноРус
Дата выхода: сентябрь 2021
Найденных опечаток пока нет
Добавить запись