Содержание

• Предисловие

• 1. Основы

• 2. Первая программа

• 3. Типы

• 4. Декларативный и композиционный стиль

• 5. Функции высшего порядка

• 6. Функторы и монады: теория

• 7. Функторы и монады: примеры

• 8. IO

• 9. Редукция выражений

• 10. Реализация Haskell в GHC

• 11. Ленивые чудеса

• 12. Структурная рекурсия

• 13. Поиграем

• 14. Лямбда-исчисление

• 15. Теория категорий

• 16. Категориальные типы

• 17. Дополнительные возможности

• 18. Средства разработки

• 19. Ориентируемся по карте

• 20. Императивное программирование

• 21. Музыкальный пример

• Приложение