Функциональное программирование, лекция 6, часть 1

Подробности

Категория: Функциональное программирование : Александр Кубенский

Функциональное программирование, лекция 6, часть 1, Курс: Функциональное программирование, Лектор: Александр Кубенский, Организаторы: -Computer Science Center

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