Функциональное программирование. Лекция 6, часть 1
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
30.03.12
Дата публикации:
30.03.12
Код для блога:
Чистое лямбда-исчисление
- Рекурсия в λ-исчислении. Y-комбинатор.
- Чистое λ-исчисление. Представление логических значений и функций, списков, арифметики целых чисел.
- Интерпретаторы функциональных программ. Представление функциональных программ на языке Haskell.
Страница лекции на сайте Computer Science Center
Другие лекции курса
13