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

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

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

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