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

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

• Возможность использования функций в разных контекстах. bigenc.ru Функции можно применять в параметрах других функций, в качестве возвращаемого значения, а также внутри структур данных в памяти программы. bigenc.ru
• Запись функций с помощью нотации для абстракции переменной. bigenc.ru Это позволяет задавать определение функции непосредственно в месте её использования в качестве значения. bigenc.ru
• Поддержка операции аппликации (применения функции). bigenc.ru Это позволяет определять и использовать функции от нескольких аргументов как частный случай функций от одного аргумента, а также задавать новые анонимные функции без использования лямбда-абстракции (с помощью применения к части аргументов). bigenc.ru
• Простая и естественная модель для таких важных понятий, как рекурсия и вложенные среды. kchri.narod.ru
• Возможность формализовать практически все виды математической нотации. kchri.narod.ru Если начать с констант и переменных и строить выражения только с помощью лямбда-выражений и применений функции к аргументам, то можно представить очень сложные математические выражения. kchri.narod.ru