Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
7.7 abstração de dados com macros
No Capítulo 1 construímos abstrações de diferentes objetos através da elaboração de
procedimentos que operam sobre eles. Internamente, agregamos as partes de cada objeto
em listas. Este Capítulo mostra algumas limitações da representação interna com listas e
discute uma abstração sintática para representar objetos.
listas.
Uma maneira supostamente natural de representar partículas em Scheme é usando
( define faz-particula
( lambda ( pos massa vel acel )
( list ’ particula pos massa vel acel )))
O primeiro elemento da lista é um símbolo que determina o tipo de dado “partícula”.
O procedimento particula pode então verificar se um objeto Scheme é uma partícula:
( define particula
( lambda (p)
( and ( list p)
( not ( null p))
( eqv ’ particula ( car p )))))
Precisamos também de acessores para cada campo do objeto partícula. Criamos então
uma barreira de abstração para isolar os procedimentos para listas:
( define pos ( lambda (x) ( list-ref x 1)))
( define massa ( lambda (x) ( list-ref x 2)))
( define vel ( lambda (x) ( list-ref x 3)))
( define acel ( lambda (x) ( list-ref x 4)))
( define set-pos !
( lambda (p v) ( set-car ! ( list-tail p 1) v )))
( define set-massa !
( lambda (p v) ( set-car ! ( list-tail p 2) v )))
( define set-vel !
Versão Preliminar
( lambda (p v) ( set-car ! ( list-tail p 3) v )))
( define set-acel !
( lambda (p v) ( set-car ! ( list-tail p 4) v )))
[ 27 de outubro de 2010 at 15:47 ]
185