Първоначално разработена от американския математик Алонсо Църквата през 30-те години на миналия век, ламбда смятане е формална система за изразяване на изчисления, базирана на абстракцията на функциите. Това е основополагащ принцип в математическата логика. По-ясно е, че ламбда смятане има за цел да бъде проста система за изчисление, която е алтернатива на "хардуерния" подход, използван от машините на Тюринг.

Как се използва ламбда смятане?

В компютърното програмиране, ламбда смятането се използва за анонимизиране на функциите, което им позволява да се отнасят до абстрактен смисъл. Това действие ги прави първокласни обекти: те могат да бъдат управлявани точно както всеки друг обект на езика. Например, анонимна функция може да се предава на други функции като параметър.

Един от първите езици за програмиране, които използват анонимни функции, е LISP. Специалната дума lambda в LISP дефинира функция, без да й дава име. Например, функцията x + 2 може да се дефинира анонимно в LISP със следното изявление:

 (ламбда (x) (+ x 2)) 

Анонимните функции са важна част от много съвременни езици за програмиране, включително JavaScript.

Рицари на ламбда смятане, логика, програмни термини, синтактична захар