Anonimato

Funções sem nome, anónimas

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 $latex2png equation$ é 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 primeira¹ 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.

Palavras chave/keywords: LISP, matemática, lambda

Criado/Created: NaN

Última actualização/Last updated: 10-10-2022 [14:47]

Voltar à página inicial.