Cálculo lambda

Desenvolvido pela primeira vez pelo matemático americano Alonzo Church na década de 1930, o cálculo lambda é um sistema formal para expressar computação baseada na abstração de funções. É um princípio fundamental da lógica matemática. Lambda calculus pretende ser um sistema simples de computação que é uma alternativa à abordagem de “hardware” usada pelas máquinas de Turing.

Como o cálculo lambda é usado?

Na programação de computadores, o cálculo lambda é usado para tornar funções anônimas, permitindo que sejam referidas no sentido abstrato. Esta ação os torna objetos de primeira classe, permitindo que sejam 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 LISP. A palavra especial lambda em LISP define uma função sem dar a ela 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 JavaScript.