Функциональное программирование на языке Haskell
книга

Функциональное программирование на языке Haskell

Автор: Роман Душкин

Форматы: PDF

Издательство: ДМК Пресс

Год: 2016

Место издания: Москва

ISBN: 978-5-97060-362-8

Страниц: 608

Артикул: 94868

Возрастная маркировка: 16+

цена: 479
Купить и скачать Читать фрагмент

Данная книга является первым в России изданием, рассматривающим функциональное программирование в полном объеме, достаточном для понимания новичку и для использования книги в качестве справочного пособия теми, кто уже использует парадигму функционального программирования в своей практике. Изучение прикладных основ показано на примере языка Haskell, на сегодняшний день являющегося самым мощным и развитым инструментом функционального программирования. Издание можно использовать и в качестве учебника по функциональному программированию, и в качестве самостоятельного учебного пособия по смежным дисциплинам, в первую очередь по комбинаторной логике и λ-исчислению. Также книга будет интересна тем, кто всерьез занимается изучением новых компьютерных технологий, искусственного интеллекта и экспертных систем. К книге прилагается компакт-диск с транслятором Haskell, а также различными библиотеками к нему, дополнительными утилитами и рабочими примерами программ, рассмотренных в книге.

Введение
1. Основы функционального программирования
1.1 История функционального программирования
1.2 Основные свойства функциональных языков
1.3 Типовые задачи, решаемые методами функционального программирования
1.4 Конструирование функций
1.5 Доказательство свойств функций
2. Базовые принципы языка Haskell
2.1 Списки — основа функциональных языков
2.2 Функции как описания процессов вычисления
2.3 Типизация данных и функций
2.4 Элементы программирования
2.5 Модули и абстрактные типы данных
3. Классы и их экземпляры
3.1 Параметрический полиморфизм данных
3.2 Классы в языке Haskell как способ абстракции действительности
3.3 Наследование и реализация
3.4 Стандартные классы языка Haskell
3.5. Сравнение с другими языками программирования
4. Монады — последовательное выполнение действий в функциональной парадигме
4.1 Монада как тип-контейнер
4.2 Последовательное выполнение действий
4.3 Операции ввода/вывода в языке Haskell
4.4 Стандартные монады языка Haskell
4.5 Разработка собственных монад
5. Комбинаторная логика и А-исчисление
5.1 Основы комбинаторной логики
5.2 Абстракция функций как вычислительных процессов
5.3 А-исчисление как теоретическая основа функционального программирования
5.4 Кодирование данных в А-исчислении
5.5 Редукция и вычисления в функциональных языках
6. Трансляторы программ
6.1 Математическая лингвистика
6.2 Краткое введение в теорию построения трансляторов
6.3 Реализация трансляторов на языке Haskell
6.4 Библиотеки для создания трансляторов
6.5 Частичные вычисления, трансформация программ и суперкомпиляция
7. Функциональное программирование и искусственный интеллект
7.1 Основные задачи искусственного интеллекта
7.2 Нечеткая математика и функциональное программирование
7.3 Логический вывод на знаниях
7.4 Общение с компьютером на естественном языке
7.5 Перспективы функционального программирования
Заключение
Ответы на задачи для самостоятельного решения
A. Функциональные языки программирования и Интернет-ресурсы по функциональному программированию
B. Опции различных сред разработки на языке Haskell
C. Описание стандартного модуля Prelude
D. Краткий словарь терминов из области функционального программирования
Литература

Все отзывы о книге

Чтобы оставить отзыв, зарегистрируйтесь или войдите