Как лямбда-исчисление связано с функциональным программированием?

Лямбда-исчисление связано с функциональным программированием тем, что оно служит теоретическим базисом для него. recyclebin.ru

Это исчисление формализует понятие вычислимости на базе математического понятия функции, и все функциональные программы можно преобразовать в эквивалентные вычислимые лямбда-выражения. recyclebin.ru Кроме того, можно описать все базовые свойства функционального языка, опираясь на понятия лямбда-исчисления. recyclebin.ru

Некоторые ключевые принципы лямбда-исчисления, которые формируют понятие функционального программирования:

• Все функции могут быть анонимными. tproger.ru Единственная значимая часть заголовка функции — это список аргументов. tproger.ru
• При вызове все функции проходят процесс каррирования. tproger.ru Если вызывается функция с несколькими аргументами, то сперва она будет выполнена лишь с первым аргументом и вернёт новую функцию, содержащую на 1 аргумент меньше, которая будет немедленно вызвана. tproger.ru Этот процесс рекурсивен и продолжается до тех пор, пока не будут применены все аргументы, возвращая финальный результат. tproger.ru