Índice:
Definição - O que significa Lambda Calculus?
O cálculo lambda é um tipo de sistema formal a partir da lógica matemática usada na ciência da computação para definição, aplicação e recursão de funções.
A programação de computadores funcionais surgiu desse tipo de cálculo e atua como um modelo para o desenvolvimento de software, fornecendo semântica simples para computação com funções. Diferente das funções imperativas, que podem alterar o status do programa porque não possuem transparência referencial, a programação funcional não altera o status do programa.
Techopedia explica Lambda Calculus
O cálculo do Lambda faz com que os encadeamentos de código de idioma resultem exatamente nos mesmos valores, independentemente do horário ou da máquina em que o encadeamento de código foi executado. Este não é o caso da programação de funções imperativas, que normalmente possui respostas imprevisíveis do programa.
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.
