Чистое лямбда-исчисление
Функциональное программирование


Что: Лекция
Когда: Пятница, 30 марта 2012, 18:30–19:50
Где: ФМЛ 239, Актовый зал
Слайды: func_prog_lecture_300312.pptx

Описание

  • Рекурсия в λ-исчислении. Y-комбинатор.
  • Чистое λ-исчисление. Представление логических значений и функций, списков, арифметики целых чисел.
  • Интерпретаторы функциональных программ. Представление функциональных программ на языке Haskell.

Материалы