52700.fb2
Исторические замечания
Краткое содержание
Упражнения
Функторы и монады: примеры
Случайные числа
Конечные автоматы
Отложенное вычисление выражений
Тип Map
Накопление результата
Тип-обёртка newtype
Записи
Накопление чисел
Накопление логических значений
Накопление списков
Монада изменяемых значений ST
Тип ST
Императивные циклы
Быстрая сортировка
Краткое содержание
Упражнения
IO
Чистота и побочные эффекты
Монада IO
Как пишутся программы
Типичные задачи IO
Вывод на экран
Ввод пользователя
Чтение и запись файлов
Ленивое и энергичное чтение файлов
Аргументы программы
Вызов других программ
Случайные значения
Исключения
Потоки текстовых данных
Форточка в мир побочных эффектов
Отладка программ
Композиция монад
Краткое содержание
Упражнения
Редукция выражений
Стратегии вычислений
Преимущества и недостатки стратегий
Вычисление по необходимости
Аннотации строгости
Принуждение к СЗНФ с помощью seq
Функции с хвостовой рекурсией
Тонкости применения seq
Энергичные образцы
Энергичные типы данных