Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
O procedimento list-insert primeiro verifica se o índice que recebeu está dentro
de limites aceitáveis e depois chama list-insert-aux:
( define list-insert
( lambda ( elt lst pos )
(if (or ( negative pos )
(> pos ( length lst )))
( error " list-insert : pos is too far ahead ")
( list-insert-aux elt lst pos ))))
Esta versão do procedimento não é recursiva na cauda porque há nele uma chamada
recursiva como argumento para cons:
( cons ( car lst )
( list-insert ...)
Este uso de cons é necessário para que o procedimento se lembre, em cada chamada
recursiva, dos elementos à esquerda da posição atual. Este procedimento pode ser transformado
em outro, recursivo na cauda, que chamaremos de list-insert-tail-rec. O
procedimento list-insert-tail-rec-aux receberá um argumento adicional, left, e o
usará para lembrar-se de que elementos ficaram para a esquerda da posição atual. Como
em cada chamada recursiva faremos left ser igual a (cons (car lst) left), o argumento
left será a lista à esquerda invertida. Para apresentar o resultado final, podemos
então concatenar (reverse left) com (cons elt lst):
( define list-insert-tail-rec-aux
( lambda ( elt lst pos left )
(if (= pos 0)
( append ( reverse left )
Versão Preliminar
( cons elt lst ))
( list-insert-tail-rec-aux elt
( cdr lst )
(- pos 1)
( cons ( car lst ) left )))))
( define list-insert-tail-rec
( lambda ( elt lst pos )
(if (or ( negative pos )
(> pos ( length lst )))
( error " list-insert : pos is too far ahead ")
26
[ 27 de outubro de 2010 at 15:47 ]