Contente
- Definição - O que significa Lambda Calculus?
- Uma introdução ao Microsoft Azure e Microsoft Cloud | Neste guia, você aprenderá sobre o que é a computação em nuvem e como o Microsoft Azure pode ajudá-lo a migrar e administrar seus negócios a partir da nuvem.
- Techopedia explica Lambda Calculus
Definição - O que significa Lambda Calculus?
O cálculo lambda é um tipo de sistema formal 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 funcional de computadores 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. Ao contrário 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.
Uma introdução ao Microsoft Azure e Microsoft Cloud | Neste guia, você aprenderá sobre o que é a computação em nuvem e como o Microsoft Azure pode ajudá-lo a migrar e administrar seus negócios a partir da nuvem.
Techopedia explica Lambda Calculus
O cálculo do Lambda faz com que os threads de código do idioma resultem exatamente nos mesmos valores, independentemente do horário ou da máquina em que o thread 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.