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

1. Элементы функционального программирования на языке Haskell. Функциональный стиль программирования. Элементы языка Haskell. Определение новых типов данных.
2. Что еще есть в функциональном программировании. Концевая рекурсия. Функции высших порядков. Карринг. Ленивые вычисления.
3. Лямбда-исчисление. Формальные теории в программировании. Система вывода результатов. Чистое лямбда-исчисление.
4. Системы исполнения функциональных программ. Промежуточный язык программирования. eval/apply интерпретатор. Компиляция в SECD-машину. Функциональные эквиваленты императивных программ.

Литература

1. Филд, Харрисон. Функциональное программирование. Теория и практика.
2. Хендерсон. Функциональное программирование. Применение и реализация.
3. IBM developerWorks. Beginning Haskell.
4. P.Hudak, J.Peterson, J.Fasel. Gentle Introduction to Haskell.