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

м
автоматична заміна {{Не перекладено}} вікі-посиланнями на перекладені статті
м (автоматична заміна {{Не перекладено}} вікі-посиланнями на перекладені статті)
: <math>(\lambda v_1\ldots v_n.e_0\; v_1\ldots v_n) = e_0</math>.
 
Задля спрощення в λ-численні розглядаються функції від однієї змінної. Як було показано у винаході {{Не перекладено|[[Шейнфінкель Мойсей Ейлєвич|Шейнфінкеля|ru|Шейнфинкель, Моисей Эльевич}}]] та [[Гаскелл Каррі|Каррі]], ''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'' аргументів, наведене вище, матиме такий вигляд:
34 139

редагувань