Pirmą kartą amerikiečių matematiko Alonzo bažnyčia sukūrė 1930-aisiais, lambda calculus yra formali skaičiavimo sistema, pagrįsta funkcijų abstrakcija. Tai matematinės logikos pamatinis principas. Akivaizdu, kad „lambda calculus“ siekia būti paprasta skaičiavimo sistema, kuri yra alternatyva „Turing“ mašinų naudojamam „aparatūros“ metodui.

Kaip naudojamas lambda skaičiavimas?

Kompiuterių programavimo metu „lambda calculus“ naudojamas anonimizuoti funkcijas, leidžiančias jas nurodyti abstrakčiai. Šis veiksmas suteikia jiems pirmos klasės objektus: jie gali būti naudojami kaip ir bet kuris kitas subjektas kalba. Pavyzdžiui, anoniminė funkcija gali būti perduota kitoms funkcijoms kaip parametras.

Viena iš pirmųjų programavimo kalbų, naudojančių anonimines funkcijas, buvo LISP. LISP specialus žodis lambda apibrėžia funkciją, nesuteikdamas jam pavadinimo. Pavyzdžiui, funkcija x + 2 gali būti anonimiškai apibrėžta LISP su šiuo teiginiu:

 (lambda (x) (+ x 2)) 

Anoniminės funkcijos yra svarbi daugelio šiuolaikinių programavimo kalbų, įskaitant „JavaScript“, dalis.

Lambda skaičiaus riteriai, logika, programavimo terminai, sintaksinis cukrus