Dezvoltat inițial de către matematicianul american Alonzo Church în anii 1930, calculul lambda este un sistem formal de exprimare a calculului bazat pe abstractizarea funcțiilor. Este un principiu fundamental în logica matematică. Mai simplu, calculul lambda își propune să fie un sistem simplu de calcul, care este o alternativă la abordarea "hardware" utilizată de mașinile Turing.

Cum se folosește calculul lambda?

În programarea computerizată, calculul lambda este folosit pentru anonimizarea funcțiilor, permițându-le să se facă referire în sens abstract. Această acțiune le face obiecte de primă clasă: pot fi operate ca și orice altă entitate în limba respectivă. De exemplu, o funcție anonimă poate fi trecută la alte funcții ca parametru.

Una dintre primele limbi de programare care utilizează funcții anonime a fost LISP. Lambda specială lambda din LISP definește o funcție fără să îi dea un nume. De exemplu, funcția x + 2 poate fi definită anonim în LISP cu următoarea afirmație:

 (lambda (x) (+ x 2)) 

Funcțiile anonime reprezintă o parte importantă a multor limbi moderne de programare, inclusiv JavaScript.

Cavalerii Calculului Lambda, Logică, Termeni de programare, Zahăr sintactic