Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Se as chamadas recursivas em um procedimento nunca são usadas como
argumentos para outros procedimentos (ou seja, se toda chamada recursiva
em um procedimento é a última forma a ser avaliada), ele é chamado de
procedimento recursivo na cauda.
O padrão da linguagem Scheme obriga toda implementação a otimizar procedimentos
recursivos na cauda de forma a não usar memória adicional em cada chamada recursiva 10 .
O próximo exemplo mostra a transformação de um procedimento não recursivo na
cauda em outro que é, mas sem redução da quantidade de memória necessária.
O procedimento detalhado a seguir recebe um objeto, uma lista e uma posição, e
retorna uma nova lista com o objeto incluído naquela posição.
list-insert ’x (list ’a ’b ’c) 0)
(x a b c)
list-insert ’x (list ’a ’b ’c) 2)
(a b x c)
list-insert ’x (list ’a ’b ’c) 3)
(a b c x)
A nova lista a ser retornada por list-insert pode ser definida indutivamente da
seguinte maneira:
• Se a posição é zero, basta retornar (cons elt lst)
• Se a posição não é zero (e portanto o car da lista não será alterado), o procedimento
retorna uma lista com o mesmo car e cujo cdr é uma chamada à list-insert-aux –
desta vez passando (cdr lst) e (- pos 1).
A definição indutiva acima é descrita naturalmente em Scheme da seguinte maneira:
( define list-insert-aux
( lambda ( elt lst pos )
(if (= pos 0)
( cons elt lst )
( cons ( car lst )
( list-insert-aux elt
Versão Preliminar
( cdr lst )
(- pos 1))))))
10 Esta otimização também é feita por compiladores de outras linguagens, mas não é obrigatória para elas
[ 27 de outubro de 2010 at 15:47 ]
25