Pirmo reizi amerikāņu matemātiķis Alonzo baznīca izstrādāja 1930. gados, lambda calculus ir oficiāla sistēma aprēķinu aprēķināšanai, pamatojoties uz funkciju abstrakciju. Tas ir matemātiskās loģikas pamatprincips. Skaidrāk, ka lambda calculus mērķis ir būt vienkārša aprēķinu sistēma, kas ir alternatīva Turingu iekārtu izmantotajai "aparatūras" pieejai.

Kā tiek izmantots lambda calculus?

Datorprogrammē lambda calculus izmanto, lai anonimizētu funkcijas, ļaujot tām atsaukties abstraktā nozīmē. Šī darbība padara tos par pirmās klases objektiem: tos var darbināt tāpat kā jebkuru citu valodu. Piemēram, anonīmu funkciju kā parametru var nodot citām funkcijām.

Viena no pirmajām programmēšanas valodām anonīmu funkciju izmantošanai bija LISP. LISP īpašais vārds lambda definē funkciju, nedodot tam nosaukumu. Piemēram, funkciju x + 2 var definēt anonīmi LISP ar šādu paziņojumu:

 (lambda (x) (+ x 2)) 

Anonīmās funkcijas ir svarīga daudzu mūsdienu programmēšanas valodu, tostarp JavaScript, daļa.

Lambda kalkulatora bruņinieki, loģika, programmēšanas noteikumi, sintaktiskais cukurs