Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
3.6 fechos
Nesta seção retiraremos a restrição a procedimentos com variáveis livres que havíamos
imposto no início do Capítulo. Uma característica importante de Scheme e de outras
linguagens com suporte a procedimentos de primera classe é a possibilidade de, ao passar
um procedimento como parametro (ou retorná-lo), enviar junto com ele seu ambiente. O
procedimento abaixo ilustra como isso pode ser feito.
( define retorna-procedimento
( lambda ()
( let (( uma-variavel 1000))
( lambda () uma-variavel ))))
Como Scheme implementa escopo estático, uma-variavel sempre será visível dentro
dos blocos de código internos ao let que a definiu – inclusive o (lambda () uma-variavel).
Quando este procedimento é retornado por retorna-procedimento, ele continua podendo
acessar uma-variável:
(define proc (retorna-procedimento))
(proc)
1000
O nome dado ao procedimento proc (que leva junto seu ambiente léxico contendo a
vinculação de uma-variável) é fecho 2 . Há programadores que chamam fechos de let over
lambda (“let sobre lambda”), lembrando a maneira como são implementados 3 .
Um fecho é composto de um procedimento e de seu ambiente léxico.
O diagrama a seguir mostra os quadros e ambientes após a avaliação de (define
retorna-procedimento ...) e (define proc ...).
Versão Preliminar
2 Closure em Inglês.
3 Let Over Lambda é também o título de um livro sobre técnicas avançadas de programação em Common
Lisp[21].
102
[ 27 de outubro de 2010 at 15:47 ]