Não existe em análise matemática a noção de função anónima, i.e., não há forma de
construir uma função sem um identificador, sem um nome. Por exemplo, a função
definida por
é a função que transforma x em 1+x e não tem nenhum nome, é identificada como "
a função que aplica x em 1+x".
Usando o cálculo lambda, onde todas as funções são anónimas (não têm nome), a função anterior pode ser escrita na forma
(lambda (x) (+ x 1))
e, ao contrário da sua formulação inicial cujo valor é determinado olhando para ela, o seu valor em 2 é dado por
> ((lambda (x) (+ x 1)) 2)
3
A diferença está em tomar, por exemplo, y^2+x ou
(lambda (x y) (+ (* y y) x))
para primeira1 y^2+x(3 4) não faz sentido (dá 19 ou 13?),
enquanto
> ((lambda (x y) (+ (* y y) x)) 3 4)
19
1. A. Church chamou às primeiras formas e às segundas funções.
Created: NaN
Last updated: 24-03-2026 [22:44]
For attribution, please cite this page as:
Charters, T., "Anonimato": https://nexp.pt/anonimato.html (24-03-2026 [22:44])
(cc-by-sa) Tiago Charters - tiagocharters@nexp.pt
