Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
posicao massa velocidade aceleracao
particula
Usaremos um procedimento auxiliar cria, que recebe um nome, uma lista de campos,
e instancia um objeto com estes campos, já incluindo o nome da estrutura na posição zero
do vetor:
( define cria
( lambda ( nome campos )
( let ((v ( make-vector (+ 1 ( length campos )))))
( vector-set ! v 0 nome )
v )))
Um procedimento is-of-type verifica se um objeto é de um dado tipo. Idealmente
também verificaríamos se é um vetor, e se ele tem pelo menos um elemento, mas por
simplicidade isso foi omitido:
( define is-of-type
( lambda ( obj type )
( eqv type ( vector-ref obj 0))))
Usaremos duas macros para criar novos tipos. A primeira, define-procs-campo, usa
como argumentos:
• O índice do campo no vetor;
• Uma lista com os nomes de getters e setters. Cada par getter/setter é uma lista –
por exemplo, ((get-nome set-nome!) (get-valor set-valor!))
Quando a lista for vazia, a macro expandirá para “(begin)”. Quando houver itens na
lista, a expansão será
Versão Preliminar
( begin
( define get ( lambda ( struc ) ( vector-ref struc i )))
( define set ( lambda ( struc a) ( vector-set ! struc i a )))
( define-procs-campo (+ 1 i) x))
Onde get e set são variáveis de macro. A macro usa a si mesma recursivamente,
incrementando o valor do índice do vetor.
( define-syntax define-procs-campo
188
[ 27 de outubro de 2010 at 15:47 ]