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 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.

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

Última actualização/Last updated: 2014-02-20 [14:36]


1999-2014 (ç) Tiago Charters de Azevedo

São permitidas cópias textuais parciais/integrais em qualquer meio com/sem alterações desde que se mantenha este aviso.

Verbatim copying and redistribution of this entire page are permitted provided this notice is preserved.