14 занимательных эссе о языке Haskell и функциональном программировании

Содержание книги "14 занимательных эссе о языке Haskell и функциональном программировании "

От автора
Типовой процесс разработки программ на языке Haskell
Инструментальные средства
Описание процесса разработки
Функциональный подход в программировании
Введение
Общие свойства функций в функциональных языках программирования
Примеры определения функций
Заключение
Алгебраические типы данных в языке Haskell
Введение
Простые перечисления
Параметризация
Параметрический полиморфизм
Заключение
Объектно-ориентированное и функциональное программирование
Введение
Именованные поля и структуры
Классы типов
Экземпляры классов
Окончательные замечания
Заключение
Введение в Л-исчисление для начинающих
Введение
Неформальное описание теории
Некоторые дополнения
Редукция как стратегия вычислений
Примеры кодирования данных и функций
Заключение
Комбинаторы? — Это просто!
Введение
Формальная теория
Примеры сложных комбинаторов
Модуль на языке Haskell для преобразования комбинаторов
Представление данных и функций
Булевские значения
Нумералы Чёрча
Упорядоченные пары
Общие замечания
Заключение
Ввод и вывод на языке Haskell
Введение
Основы функционального ввода/вывода
Стандартные функции ввода/вывода
Примеры программ
Вывод результатов исполнения функции на экран
Альтернатива: экран или файл
Копирование файлов
Заключение
Простой интерпретатор команд
Введение
Постановка задачи
Основной набор функций
Вспомогательные типы данных
Цикл интерпретации
Функции для исполнения команд
Заключение
Теория чисел и язык Haskell
Введение
Простейшие задачи
Такие непростые простые числа
Числа Мерсенна
Числа Ферма
Числа Софи Жермен
Другие последовательности простых чисел
Совершенству нет предела
Заключение
Магические квадраты и решение переборных задач
Введение
Простейший вариант перебора
Перебор с использованием перестановок
Перебор с использованием размещений
Дальнейшая универсализация алгоритма
Заключение
Задача о ранце
Введение
Классическая задача
Реализация решения на языке Haskell
Заключение
Кривая Дракона
Введение
Что такое Кривая Дракона?
Алгоритм построения
Реализация на языке Haskell
Подготовительные описания геометрических образов
Построение Кривой Дракона
Заключение
Немного о шахматных задачах
Введение
Вспомогательные программные сущности
Задача о расстановке фигур
Задача о ходе коня
Генерация рекурсивных сказок
Введение
Колобок
Теремок
Обобщение функций и построение генератора
Репка
Заключение
Литература