Cálculo Lambda

Keywords: Cálculo Lambda, 1930, Alonzo Church, Haskell, Informática, OCaml, Perl, Python

Cálculo lambda foi desenvolvido na década de 1930 por Alonzo Church como parte de um sistema para lógicas de ordem superior e teoria das funções. O cálculo lambda pode ser considerado como uma linguagem de programação abstrata, isto é, as maneiras como funções podem ser combinadas para formar outras funções, é um linguagem pura sem complicações sintáticas.

A principal característica do cálculo lambda são as entidades que podem ser utilizadas como argumentos e retornadas como valores de outras funções.

Veja também outras linguagens puras

• Python
• Perl
• OCaml
• Haskell

Imagem não encontrada Gnome-system.png

Este artigo é somente um esboço para um artigo sobre Informática. Quer ajudar a Wikipédia? Acrescente alguma informação!

Cálculo Lambda

Keywords: Cálculo Lambda, 1930, Alonzo Church, Haskell, Informática, OCaml, Perl, Python