Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
• Temos que definir getters e setters manualmente, e de forma inconveniente para
cada estrutura;
• Temos que lidar com detalhes que não nos deveriam interessar, como o primeiro
elemento da lista, que a identifica como partícula;
• O esquema é ineficiente para tipos com muitos campos, já que a busca em listas é
feita linearmente 2 .
Usar hashtables poderia tornar os acessores mais rápidos:
( define faz-particula
( lambda ()
( let ((p make-hash-table ))
( hash-table-set ! ’ sou-particula #t)
p )))
( define particula
( lambda (p)
( hash-table-exists p ’ sou-particula )))
( define pos
( lambda (p)
( hash-table-ref p ’pos )))
No entanto, as hashtables podem consumir mais memória que listas ou vetores feitos
"sob medida", e ainda temos que especificar todos os setters e getters manualmente, assim
como o predicado particula e o procedimento faz-particula.
O ideal é construir um mecanismo que nos permita abstrair qualquer estrutura onde
há diversos elementos referenciados por procedimentos.
Queremos armazenar os campos da estrutura em um vetor, para que o acesso seja
rápido, e também queremos poder apenas enumerar as partes da estrutura e talvez os
nomes dos procedimentos para acessar estas partes, mas certamente não queremos ter
que pensar na implementação destes procedimentos.
Armazenaremos a estrutura inteira em um vetor, e usaremos a primeira posição para
Versão Preliminar
armazenar o nome do tipo da estrutura:
2 Implementações de Scheme podem, no entanto, armazenar alguns dos primeiros elementos de lsitas de
forma otimizada – o que não invalida nosso argumento.
[ 27 de outubro de 2010 at 15:47 ]
187