Содержание

Программа

Введение

Лямбда-исчиcление

Рекурсия и редукция

Просто(е) типизированное лямбда-исчисление

Введение в язык Haskell

Основы программирования в Haskell

Классы типов

Свертки и моноиды

Функторы

Монады

Стандартные монады

Остальное не успели

Использование аппликативных функторов

Трансформеры монад

Вывод типов*

Программирование с зависимыми типами*

Чисто функциональные структуры данных*

ФП в mainstream-языках*

GHC Core*