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

  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.