Turmas - 1º Semestre de 2026(UFRPE, 2019) O cálculo lambda, desenvolvido por Alonzo Church na década de 1930, é um sistema formal que modela a computação por meio de funções e aplicação, servindo como um dos pilares teóricos da ciência da computação. Embora abstratos, seus conceitos — como funções anônimas, aplicação, abstração e redução — influenciaram diretamente o design de linguagens modernas. Linguagens funcionais como Haskell, Lisp e Scala adotam o paradigma lambda de forma explícita, enquanto recursos como closures, higher-order functions e expressões lambda estão presentes em linguagens multiparadigma como Python, JavaScript e Java. Assim, o cálculo lambda permanece vivo não apenas na teoria, mas como fundamento prático para programação modular, concisa e expressiva. Abaixo temos a descrição de uma função lambda em Python:
((lambda x: (lambda y: x**2 - y))(5))(4)O valor resultante da expressão será:
A 4.
B 6.
C 11.
D 21.
E 29.
A expressão usa funções aninhadas (currying). A avaliação ocorre da esquerda para a direita:
((lambda x: (lambda y: x**2 - y))(5))(4)1) O parâmetro x recebe o valor 5. A expressão retorna uma nova função:
(lambda y: 5**2 - y)Essa função retornada é imediatamente chamada com (4):
2) O parâmetro y recebe 4.
5**2 - 4Cálculo final:
5**2 - 4
25 - 4D 21.
Ybadoo - Soluções em Software Livre • Copyright 2009/2026 • 