Os valores podem ser números ou algum outro tipo de dados, tais como letras, ou estruturas de dados compostas de peças mais simples. Nas regras de uma linguagem de programação, os valores de primeira classe são valores que podem ser dados a funções, retornados por funções e vinculados a um nome variável. Funções que tomam ou retornam outras funções são chamadas funções de ordem superior. A maioria das linguagens que têm funções como valores de primeira classe também têm funções de ordem mais alta e fechamentos.
Por exemplo, veja a função Esquema a seguir:
; devolver uma lista de todos os livros com pelo menos THRESHOLD cópias vendidas. (definir (limite de livros mais vendidos) (filtro (limite lambda (livro) (>= (livro de vendas))) lista de livros))
Neste exemplo, a expressão lambda (lambda (livro) (>= (livro-venda livro) limiar)) faz parte da função best-seller-books. Quando a função é executada, o Scheme deve fazer o valor da lambda. Ele faz isso fazendo um fechamento com o código para a lambda e uma referência à variável limiar, que é uma variável livre dentro da lambda. (Uma variável livre é um nome que não está vinculado a um valor).
A função de filtro então executa o fechamento em cada livro da lista para escolher quais livros devem retornar. Como o fechamento em si tem uma referência ao limite, o fechamento pode usar esse valor cada vez que o filtro executa o fechamento. A própria função de filtro pode ser escrita em um arquivo completamente separado.
Aqui está o mesmo exemplo reescrito em ECMAScript (JavaScript), outra linguagem popular com suporte para fechamentos:
// Devolver uma lista de todos os livros com pelo menos 'threshold' de cópias vendidas. função bestSellerBooks(threshold) { devolver bookList. filter( function(book) { devolver book. vendas >= threshold; } ); }
ECMAScript usa a palavra função aqui em vez de lambda, e o método Array.filter no lugar da função de filtro, mas caso contrário o código faz a mesma coisa da mesma forma.
Uma função pode criar um fechamento e devolvê-lo. O exemplo a seguir é uma função que retorna uma função.
Em esquema:
(definir (derivada f dx) (lambda (x) (/ (- (f (+ x dx))) (f x)) dx)))
Em ECMAScript:
// Retorna uma função que se aproxima da derivada de f // usando um intervalo de dx, que deve ser adequadamente pequeno. function derivative(f, dx) { return function(x) { return (f(x + dx) - f(x)) / dx; }; }; }
O ambiente de fechamento mantém as variáveis f e dx após o retorno da função de fechamento (derivada). Em idiomas sem fechamentos, estes valores seriam perdidos após os retornos da função de fechamento. Em idiomas com fechamentos, uma variável vinculada deve ser mantida na memória enquanto qualquer fechamento a tiver.
Um fechamento não precisa ser formado usando uma função anônima. A linguagem de programação Python, por exemplo, tem suporte limitado para funções anônimas, mas tem fechamentos. Por exemplo, uma forma de implementar o exemplo ECMAScript acima em Python é:
# Retorna uma função que se aproxima da derivada de f # usando um intervalo de dx, que deve ser adequadamente pequeno. def derivada(f, dx): def gradiente(x): retorno (f(x + dx) - f(x)) / dx gradiente de retorno
Neste exemplo, a função chamada gradiente faz um fechamento junto com as variáveis f e dx. A função de fechamento externo chamada derivada retorna este fechamento. Neste caso, uma função anônima também funcionaria.
def derivado(f, dx): retorno lambda x: (f(x + dx) - f(x)) / dx
Python deve freqüentemente usar funções nomeadas, pois suas expressões lambda podem conter apenas outras expressões (código que retorna um valor) e não declarações (código que tem efeitos, mas nenhum valor). Mas em outras línguas, tais como Scheme, todo código retorna um valor; em Scheme, tudo é uma expressão.
