Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
(( >= n ( length lst ))
( error "n > max "))
((= n 0)
( car lst ))
( else
( list-ref-1 ( cdr lst ) (- n 1))))))
A verificação de erros é feita a cada chamada recursiva; podemos evitar isto separando
a verificação de erros da parte do procedimento que realmente encontra o n-ésimo
elemento. Escreveremos um procedimento list-ref-aux que faz a busca, e só o chamaremos
após ter verificado os parâmetros. Como list-ref-aux só faz sentido dentro deste
procedimento, podemos definí-lo internamente com letrec:
( define list-ref
( lambda ( lst n)
( letrec (( list-ref-aux ( lambda ( lst n)
( cond (( not ( and ( list lst )
(if (= n 0)
( car lst ))
( list-ref-aux ( cdr lst ) (- n 1)))))
( integer n )))
( error " list-ref : need a list and an iteger "))
(( negative n)
( error "n < 0"))
(( >= n (- ( length lst ) 1))
( error "n > max "))
( else
( list-ref-aux lst n ))))))
Como usamos letrec, podemos fazer referência às variáveis que estamos definindo
(neste caso list-ref-aux precisa se referir a si mesmo porque é recursivo).
Implementações de Scheme devem obrigatoriamente oferecer list-ref.
É tradicional em programação funcional usar (e construir) procedimentos que operam
em listas. Os dois mais conhecidos e de utilidade mais evidente são map e reduce. O
Versão Preliminar
pocedimento list-map toma como argumentos uma função e uma lista, e retorna uma
nova lista cujos elementos são o resultado da aplicação da função a cada um dos elementos
da lista original. Por exemplo,
30
[ 27 de outubro de 2010 at 15:47 ]