Lambda račun, ki ga je leta 1930 razvila ameriška matematika Alonzo Church, je formalni sistem za izražanje računanja, ki temelji na abstrakciji funkcij. To je temeljno načelo v matematični logiki. Očitneje je, da je lambda račun preprosti sistem računanja, ki je alternativa pristopu "strojne opreme", ki ga uporabljajo Turingovi stroji.

Kako se uporablja lambda račun?

Pri računalniškem programiranju se lambda račun uporablja za anonimizacijo funkcij, kar jim omogoča, da se jih sklicuje v abstraktnem smislu. S tem dejanjem postanejo prvovrstni predmeti: na njih se lahko upravlja, tako kot katera koli druga entiteta v jeziku. Na primer, anonimna funkcija se lahko posreduje drugim funkcijam kot parameter.

Eden prvih programskih jezikov za uporabo anonimnih funkcij je bil LISP. Posebna beseda lambda v LISP definira funkcijo, ne da bi ji dali ime. Funkcija x + 2 je na primer lahko definirana anonimno v LISP z naslednjo izjavo:

 (lambda (x) (+ x 2)) 

Anonimne funkcije so pomemben del mnogih sodobnih programskih jezikov, vključno z JavaScriptom.

Vitezi lambda računanja, logika, programski izrazi, sintaktični sladkor