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

1. Введение

• Установка и настройка среды
• Функции
• Операторы
• Базовые типы
• Рекурсия
• Локальные связывания и правила отступов

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

• Параметрический полиморфизм
• Параметрический полиморфизм (2)
• Классы типов
• Стандартные классы типов
• Нестрогая семантика
• Модули и компиляция

3. Списки

• Функции для работы со списками
• Функции высших порядков над списками
• Генераторы списков
• Правая свертка
• Левая свертка и ее сравнение с правой
• Родственные сверткам функции

4. Типы данных

• Типы перечислений
• Типы произведений и сумм произведений
• Синтаксис записей
• Типы с параметрами
• Рекурсивные типы данных
• Синонимы и обертки для типов

5. Монады

• Класс типов Functor и законы для него
• Определение монады
• Монада Identity
• Список и Maybe как монады
• Монада IO
• Монада Reader
• Монада Writer
• Монада State

Требования

• Предполагается, что слушатели имеют представление о программировании на одном из языков (желательно типизированных): С, С++, Java, C# и т. п.

В рамках курса мы рассмотрим ленивую и энергичную семантики, алгебраические типы данных и их использование для сопоставления с образцом. Знакомясь с богатой системой типов Haskell, мы обсудим параметрический и специальный полиморфизм и, в частности, механизм классов типов. Мы изучим основные классы типов из стандартной библиотеки Haskell, в том числе функторы и монады. Мы научимся программировать, используя стандартные монады, в частности обсудим проблему ввода-вывода в чистых языках и его реализацию в Haskell с помощью монады IO, а также работу с изменяемым состоянием с помощью монады State.

Программа базируется на курсах, читавшихся в Академическом университете РАН и Computer Science Center.

Нагрузка: 5-6 часов в неделю, 32 урока.