Beginning Haskell. a project-based approach

Об авторе
О научном редакторе
Благодарности
Введение
	Зачем изучать функциональное программирование
	Почему вам нужна эта книга
Часть I. Первые шаги
	Глава 1. Настоящий функциональный язык
		Почему именно Haskell?
		История Haskell
		Ваша рабочая среда
		Первые шаги в использовании GHCi
		Магазин продающий машины времени
		Выводы
	Глава 2. Объявление модели данных
		Работа с символами числами и списками
		Создание нового проекта
		Определение простых функций
		Работа с типами данных
		Сопоставление с образцом
		Записи
		Выводы
	Глава 3. Многократное использование кода с помощью списков
		Параметрический полиморфизм
		Функции в качестве аргументов
		Подробнее о модулях
		Углубленное изучение списков
		Формирователи списков
		Haskell-оригами
		Выводы
	Глава 4. Контейнеры и классы типов
		Использование пакетов
		Контейнеры: проекции множества деревья и графы
		Специальный полиморфизм: классы типов
		Двоичные деревья для минимальной цены
		Классы типов связанные с контейнерами
		Выводы
	Глава 5. Лень и бесконечные структуры
		Бесконечное количество машин времени
		Модель ленивых вычислений
		Профилирование с помощью GHC
		Строгие аннотации
		Выводы
Часть II. Анализ данных
	Глава 6. Ознакомление с клиентами с помощью монад
		Анализ данных
		Исследование монад
		Различные виды состояний
		Выводы
	Глава 7. Другие рекомендуемые монады
		Возвращение более одного значения
		Неудачи и альтернативы
		Вывод ассоциативных правил
		Задачи поиска
		Монада Logic
		Возрождение монад и списков
		Выводы
	Глава 8. Использование нескольких ядер
		Параллелизм одновременность распределенность
		Монада Par
		Программная транзакционная память
		Облачные решения для Haskell
		Выводы
Часть III. Использование ресурсов
	Глава 9. Работа с файлами: ввод-вывод и библиотека conduit
		Базовые ввод и вывод
		Случайность
		Работа с файлами
		Обработка ошибок
		Потоковый ввод-вывод данных с помощью библиотеки conduit
		За пределами текстовых файлов
		Выводы
	Глава 10. Создание и синтаксический разбор текста
		Пять текстовых типов данных
		Создание текста со скоростью ветра
		Синтаксический разбор с использованием пакета attoparsec
		Представление новых классов типов
		Не нужно излишеств: используйте формат JSON
		Выводы
	Глава 11. Безопасный доступ к базам данных
		Средства доступа к базам данных
		Соединение
		Схемы и переносы
		Запросы
		Вставка обновление и удаление
		Выводы
	Глава 12. Веб-приложения
		Веб-экосистема Haskell
		Структура RESTful
		Разработка внутреннего интерфейса в среде Scotty
		Разработка внешнего интерфейса с помощью компилятора Fay
		Выводы
Часть IV. Предметно-ориентированные языки
	Глава 13. Строгие типы для описания предложений
		Предметно-ориентированные языки
		Безопасность языка выражений
		Зависимая типизация
		Программирование на уровне типов в Haskell
		Функциональные зависимости
		Семейства типов
		Продвижение типа и одноэлементные типы
		Выводы
	Глава 14. Интерпретация предложений с помощью атрибутов
		Варианты интерпретации и атрибутивные грамматики
		Наша первая атрибутивная грамматика
		Интеграция UUAGC-кода в пакет
		Интерпретация выражений
		Варианты интерпретации предложений
		Оригами-программирование для любого типа данных
		Выводы
Часть V. Инжиниринг магазина
	Глава 15. Документирование тестирование и проверка
		Документирование двоичных деревьев с помощью утилиты Haddock
		Блочное тестирование с помощью утилиты HUnit
		Рандомизированное тестирование с помощью библиотеки QuickCheck
		Формальная верификация с использованием языка Idris
		Выводы
	Глава 16. Создание архитектуры приложения
		Паттерны проектирования и функциональное программирование
		Рекомендации среднего порядка
		Утилиты
		Проекты
		Выводы
Приложение А. Дальнейшие перспективы
	Haskell-ресурсы
Приложение Б. Путешествие во времени с Haskell