Функциональное программирование на языке Haskell
Место издания: Москва
ISBN: 978-5-97060-362-8
Страниц: 608
Артикул: 94868
Возрастная маркировка: 16+
Данная книга является первым в России изданием, рассматривающим функциональное программирование в полном объеме, достаточном для понимания новичку и для использования книги в качестве справочного пособия теми, кто уже использует парадигму функционального программирования в своей практике. Изучение прикладных основ показано на примере языка 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. Краткий словарь терминов из области функционального программирования
Литература
Все отзывы о книге
С этой книгой читают
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
и мы свяжемся с вами в течение 15 минут
за оставленную заявку