Відмінності між версіями «Лямбда-числення»

м
стильові правлення
м (стильові правлення)
Задля спрощення, в λ-численні розглядаються функції від однієї змінної. Як було показано у винаході Шонфінкеля та Каррі, ''n''-арні абстракції можна представляти у вигляді ''n''-кратного вкладення унарних абстракцій, тобто:
:<math>f = \lambda v_1\ldots v_n . e_0 \equiv \lambda v_1.\lambda v_2\ldots \lambda v_n . e_0</math>.
Використовуючи цю нотацію, застосування ''n''-арної абстракції до ''r'' аргументів, наведене вище, матиме наступнийтакий вигляд:
:<math>(f\; e_1\ldots e_r) = (\dots ((f\; e_1)\; e_2)\; e_r)</math>.
Такий підхід скорочує побудову виразів λ-числення до наступних синтаксичних правил: