Document Outline
Предисловие
Структура книги
Основные понятия
Благодарности
Основы
Общая картина
Типы
Значения
Классы типов
Контекст классов типов. Суперклассы
Экземпляры классов типов
Ядро Haskell
Двумерный синтаксис
Краткое содержание
Упражнения
Первая программа
Интерпретатор
У-вей
Логические значения
Класс Show. Строки и символы
Строки и символы
Пример: Отображение дат и времени
Автоматический вывод экземпляров классов типов
Арифметика
Класс Eq. Сравнение на равенство
Класс Num. Сложение и умножение
Класс Fractional. Деление
Стандартные числа
Документация
Краткое содержание
Упражнения
Типы
Структура алгебраических типов данных
Структура констант
Несколько слов о теории графов
Строчная запись деревьев
Структура функций
Композиция и частичное применение
Декомпозиция и сопоставление с образцом
Проверка типов
Проверка типов с контекстом
Ограничение мономорфизма
Рекурсивные типы
Краткое содержание
Упражнения
Декларативный и композиционный стиль
Локальные переменные
where-выражения