Изучение Haskell в Одессе

В феврале-марте 2008 года я прочел курс лекций, посвященный языку Haskell и функциональному программированию. Ниже вы найдете его программу. Хотя курс окончен, если вы интересуетесь предметной областью и живете недалеко от Одессы, напишите мне пару строк — возможно, мы будем еще организовывать лекции, семинары или еще что-нибудь интересное. Подписавшись на мой блог, вы ничего не пропустите.

Подробней о Haskell: Haskell.org, Wikipedia.

Рекомендуемый учебник: Yet Another Haskell Tutorial.

Обсуждение в рассылке education-od-ua.

Подпишитесь на education-od-ua

Электронная почта:

Перейти в эту группу

Первая лекция

Состоялась 16.02.2008.

1. Общая характеристика языка
   1. Ленивость, декларативность
   2. Чисто функциональность, ссылочная целостность
   3. Сильная статическая типизация, вывод типов
   4. Полиморфизм
   5. Функции первого класса
2. Синтаксис
   1. Отступы
   2. Значение регистра в именах
3. Арифметика
4. Базовые типы
5. Списки и векторы
6. Функции
7. Структурная рекурсия
8. Упражнения
   1. length
   2. map
   3. filter
   4. reverse

Вторая лекция

Состоялась 23.02.08.

1. λ-исчисление
2. Каррирование
3. Соответствие шаблону
4. Инфиксные операторы
5. Локальные объявления
6. Выражение case
7. Функции и операторы: $, ., flip, curry, uncurry, foldl, foldl1

Третья лекция

Состоялась 1.03.08.

1. Алгебраические типы данных
2. Maybe
3. Функции find, zipWith, const, id
4. Бинарные деревья
5. Задача Rep_Min
6. Классы и специальный полиморфизм
7. Стандартные классы
8. Автоматические классы

Четвертая лекция

Состоялась 15.03.08.

1. Автоматические аксессоры для структур данных
2. Kinds
3. Монады, функции return и >>=
4. Maybe как монада, частичные функции
5. Монада Reader, функция ask

Объяснения монад на любой вкус!

Пятая лекция

Состоялась 22.03.08.

1. System.IO
2. Control.Exception
3. Хвостовая рекурсия