Тематический указатель

Синтаксис

• Программы
  • Модули module
  • Включение определений
    • из других модулей: import
    • с полным именем: import … qualified … as
    • отбрасывая не нужные определения: import … hiding
  • Компиляция программ
  • Программы и библиотеки
• Типы
  • Определение типов: data
  • Синонимы типов: type
  • Кортежи
  • Записи, структуры с полями
  • Тип-обёртка newtype
  • Типы типов: kinds
• Значения
  • Определение значений
  • Локальные переменные (let и where)
  • Условные выражения
    • if then else
    • охранные выражения
    • case-выражения
  • Сопоставление с образцом
    • Ленивые образцы
    • Энергичные образцы
    • @-образцы
  • Лямбда-функции или безымянные функции
  • Приоритет инфиксных операций: infix, infixl, infixr
• Классы
  • Определение классов class
  • Экземпляры классов instance
  • Суперклассы
  • Автоматическое разрешение многозначности: default
  • Ограничение мономорфизма
  • Автоматический вывод экземпляров классов типов: deriving
• do-нотация
• Генераторы списков
• Расширения
  • Полиморфизм высших порядков: forall
  • Семейства типов: type family, type instance, data family

Типы

• Списки [a]
• Примитивные типы: строки, символы, числа
• Монады
  • IO
  • [a]
  • Maybe
  • State
  • Writer
  • Reader
  • ST
• Ассоциативные массивы Map
• Множества
  • Set
  • HashSet
• Деревья Tree
• Очереди с приритетом

Классы

• Печать значений Show
• Сравнение значений
  • Eq
  • Ord
• Перечисления
  • Enum
• Арифметика
  • Num
  • Fractional
  • Real
  • RealFrac
• Функторы и монады
  • Functor
  • Applicative
  • Monad
  • Монадные трансформеры
  • do-нотация
• Monoid

Функциональное программирование

• Функции высшего порядка
• Чистота функций
• Строгая типизация
• Стратегии редукции выражений
  • Нормальная (по имени) и энергичная (по значению)
  • Ленивая (по необходимости)
    
• Лямбда исчисление
• Алгебраические типы данных
  • основы
  • подход из теории категорий

Оптимизация программ

• Вычисление программ в GHC
• Профилирование
• Оценка расхода памяти
• Оценка быстродействия в criterion
• Проверка свойств программы в QuickCheck
• Аннотации строгости, ограничение лени
• Прагмы оптимизации
  • Встраивание выражений INLINE
  • Встраивание значений UNPACK
  • Преобразование программ RULES

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

• Начало работы с Haskell
• Компилятор GHC
• Интерпретатор ghci
• Установка и создание библиотек в Cabal
• Репозиторий библиотек Hackage
• Создание документации в Haddock
• Поисковик алгоритмов Hoogle
• Оценка быстродействия в criterion
• Проверка свойств программы в QuickCheck
• Стандартные структуры данных и алгоритмы
• Если что-то непонятно или не получается: haskell-cafe