Desenvolvido primeiramente pelo matemático americano Alonzo Church na década de 1930, o lambda calculus é um sistema formal para expressar a computação com base na abstração de funções. É um princípio fundamental na lógica matemática. Mais claramente, lambda calculus pretende ser um sistema simples de computação que é uma alternativa à abordagem de "hardware" usada por máquinas de Turing.

Como o lambda calculus é usado?

Na programação de computadores, o lambda calculus é usado para anonimizar funções, permitindo que elas sejam referidas no sentido abstrato. Essa ação os torna objetos de primeira classe: eles podem ser operados como qualquer outra entidade na linguagem. Por exemplo, uma função anônima pode ser passada para outras funções como um parâmetro.

Uma das primeiras linguagens de programação a usar funções anônimas foi o LISP. A palavra especial lambda no LISP define uma função sem lhe dar um nome. Por exemplo, a função x + 2 pode ser definida anonimamente no LISP com a seguinte declaração:

 (lambda (x) (+ x 2)) 

Funções anônimas são uma parte importante de muitas linguagens de programação modernas, incluindo o JavaScript.

Cavaleiros de cálculo lambda, lógica, termos de programação, açúcar sintático