Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
SRFI-
39
( let (( old-base base ))
( set ! base 16)
( display x)
( newline )
( set ! base old-base )
( display x )))
Cada procedimento teria que se lembrar de modificar os valores de base, usando uma
variável local (para entender porque old-base não pode ser global, basta imaginar o que
aconteceria se calcula também mudasse base usando a mesma global old-base).
Uma solução seria determinar que o procedimento display aceitasse um parâmetro
adicional, base:
( let ((x ( calcula )))
( display x 16)
( newline )
( display x 10))
No entanto, se há muitas variáveis a serem passadas dessa forma, o programa pode
ficar ilegível. Por isso em algumas situações a primeira opção (o uso de escopo dinâmico)
é usada.
Embora em Scheme o escopo seja estático 5 , emular escopo dinâmico não é difícil.
A SRFI 39 descreve uma maneira de criar variáveis com escopo dinâmico em Scheme,
usando um procedimento make-parameter, semelhante à forma especial define, e uma
forma especial parameterize, semelhante ao let.
O procedimento make-parameter cria variáveis, chamadas de objetos-parâmetro 6 , que
podem ter seu valor modificado usando disciplina de escopo léxico. O valor retornado
por make-parameter é um procedimento que aceita um ou nenhum argumento.
(define base (make-parameter 10))
Quando base é chamado sem argumentos, retorna o valor do objeto-parâmetro.
Quando é chamado com um argumento, o valor é alterado temporariamente e retornado:
5 Na verdade, com as primeiras implementações de Scheme Guy Steele e Gerald Sussman conseguiram mudar
a opinião então comum, de que o escopo dinâmico era mais simples de implementar.
6 Parameter objects na SRFI 39 e em outros textos em Inglês
Versão Preliminar
110
[ 27 de outubro de 2010 at 15:47 ]