Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
Se um vínculo global para c for definido, a macro funcionará:
(define c 10)
(soma 3 4)
17
7.3.7.2 Não há sobreposição para variáveis de padrão
O problema descrito a seguir foi descrito por Oleg Kiselyov.
Como em Scheme o escopo das variáveis é léxico, o x na função inc é diferente do x
em funcao. Diz-se que o símbolo com definição interna sobrepõe (shadows) o outro.
( define funcao
( lambda (x)
( let (( inc ( lambda (x) (+ 1 x ))))
( inc (* 2 x )))))
(funcao 3)
7
O procedimento acima é equivalente a:
( define funcao
( lambda (x)
( let (( inc ( lambda (y) (+ 1 y ))))
( inc (* 2 x )))))
Versão Preliminar
onde trocamos x por y no procedimento interno.
Em macros definidas com syntax-rules símbolos em macros internas não tem prioridade
sobre os mais externos:
( define-syntax mac
( syntax-rules ()
((_ x)
( let-syntax
(( inc
( syntax-rules ()
((_ x) (+ 1 x )))))
180
[ 27 de outubro de 2010 at 15:47 ]