Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
(force a)
Error: (quotient) division by zero
No próximo exemplo, definimos duas variáveis com o valor (* 10 10 10 10) – uma
usando avaliação estrita e outra usando avaliação preguiçosa.
(define d (* 10 10 10 10))
(define e (delay (* 10 10 10 10)))
d
10000
e
#
O resultado de delay pode ou não ser um procedimento. Muitas implementações de
Scheme definem um tipo promise. Se e não é um procedimento, não podemos aplicá-lo, e
é necessário usar force:
(+ e 1)
Error: (+) bad argument type: #
(+ (force e) 1)
10001
O próximo exemplo mostra que o ambiente de uma expressão ainda não avaliada é
aquele onde ela foi definida – mas podemos modificá-lo antes de usar force.
Definimos uma variável zz que faz referência a outras duas variáveis que ainda não
definimos:
( define nome-completo
( delay ( string-append nome
Warning: the following toplevel variables
are referenced but unbound:
nome
sobrenome )))
Versão Preliminar
sobrenome
Tentar forçar nome-completo é evidentemente um erro:
216
[ 27 de outubro de 2010 at 15:47 ]