Definição – O que significa o cálculo lambda?
O cálculo lambda é um tipo de sistema formal de lógica matemática usado em ciência da computação para definição, aplicação e recursão de funções.
A programação funcional de computadores surgiu desse tipo de cálculo e atua, por sua vez, como um modelo para o desenvolvimento de software, fornecendo semântica simples para computação com funções. Ao contrário das funções imperativas, que podem alterar o status do programa porque não têm transparência referencial, a programação funcional não altera o status do programa.
Definirtec explica Lambda Calculus
O cálculo lambda faz com que os encadeamentos de código de linguagem resultem exatamente nos mesmos valores, independentemente do tempo ou da máquina em que o encadeamento de código foi executado. Este não é o caso da programação de função imperativa, que normalmente tem respostas de programa imprevisíveis.
A programação funcional pode ser realizada em qualquer linguagem de programação, mesmo aquelas que não foram projetadas com estruturas de programação funcional padrão.