Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( let (( G11 1)
( G12 3))
( let G13 ((i G11 ))
(if (< i G12 )
( begin ( display start )
( newline )
( G13 (+ 1 i )))))))
Neste código, if não é mais forma especial, e sim uma variável cujo valor é o símbolo
x. Isto significa que (if ...) passa a ser uma aplicação de procedimento. Interpretadores
Scheme podem seguir dois caminhos aqui:
• Avaliar a variável if, verificar que não é procedimento e sinalizar um erro, ou
• Avaliar os parâmetros do que considera ser uma chamada de procedimento. Neste
caso, tentará avaliar a forma (begin ...), que chama loop recursivamente – e o
programa entrará em um laço infinito.
7.2.2 Mais sobre macros não-higiênicas
É comum o nome de “não-higiênico” a sistemas de macro que permitem captura de
símbolos da mesma forma que define-macro.
Há dois livros somente sobre técnicas de uso deste tipo de macro (de baixo nível e
não higiênica): o de Paul Graham [35] e o de Doug Hoyte [21]. A linguagem usada em
ambos os livros é Common Lisp, cujo sistema de macros funciona da mesma forma que
define-macro, e o conteúdo dos livros (em particular o de Paul Graham) é aplicável a
programas Scheme usando define-macro, com pequenas modificações.
Versão Preliminar
7.3 r 5 rs e syntax-rules
A solução dada pelo padrão R 5 RS de Scheme para o problema da captura de variáveis é
uma linguagem específica para a escrita de macros. Para as macros desenvolvidas nesta
linguagem há a garantia de que todos os símbolos usados na macro terão a conotação
esperada para a situação comum: os símbolos usados no corpo da macro são renomeados
automaticamente, da mesma forma que se faz com gensym.
[ 27 de outubro de 2010 at 15:47 ]
169