Лямбда исчисления. Лекция 3

1.

Лекция 3
Лямбда исчисления.

2.

Функциональная парадигма
•Не используется оператор присваивания для изменения состояний
•Не используются циклы
•Выполнение последовательности команд не имеет смысла, т.к. одна команда не
влияет на выполнение следующей
•Функции можно передавать в другие функции в качестве аргументов и
возвращать в качестве результата, результатом вычислений тоже может быть
функция
•Вместо циклов используется рекурсия

3.

Лямбда-исчисления
•Формализация, которая может быть использована для написания программ
•Простая модель для рекурсии и вложенных сред
•Большинство конструкций процедурных языков может отображено в
конструкции лямбда-исчислений
•Функциональные языки в основном являются удобной формой синтаксической
записи для конструкций различных вариантов лямбда-исчислений

4.

Решить

5.

Как происходит вычисление?
Что можно делать со значениями в этой системе?
• Заворачивать в новые функции
• Применять функции к аргументам: