Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
9 P R E G U I Ç A
Ao encontrar uma expressão um interpretador pode avaliá-la imediatamente e determinar
seu valor (como em todos os exemplos vistos até agora) ou pode esperar até que o valor
da expressão seja usado em alguma outra computação. O primeiro caso é chamado de
avaliação estrita, e o segundo de avaliação preguiçosa.
Em Scheme a avaliação é estrita por default:
(define a (quotient 1 0))
Error: (quotient) division by zero
O valor de a não era ainda necessário (ele não seria mostrado pelo REPL, e nem
usado em alguma computação). Mesmo assim o interpretador Scheme tentou calcular
o valor imediatamente – e como houve uma tentativa de dividir um por zero, o REPL
devolveu uma mensagem de erro.
9.1 delay e force
Se, no entanto, pedirmos ao interpretador que guarde a expressão para avaliar mais tarde,
ele o fará. Para isto usamos a macro delay:
(define a (delay (quotient 1 0)))
a
#
O valor de a é uma “promessa”: a é um procedimento que poderá retornar o valor de
(quotient 1 0), mas somente quando for necessário. O procedimento force toma uma
Versão Preliminar
promessa e tenta obter seu valor:
[ 27 de outubro de 2010 at 15:47 ]
215