Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
6.3.3 Discussão
Um interpretador de uma linguagem escrito nela mesma é chamado de meta-interpretador
circular 2 .
É evidente que um meta-interpretador circular não será normalmente usado para
a prática comum de programação, e pode por isso parecer inútil. No entanto, metainterpretadores
são muito valiosos em algumas situações: uma delas é a prototipagem
de variantes da linguagem. Por exemplo, se quisermos implementar uma versão de
Scheme com tipagem forte, ou com avaliação preguiçosa por default, podemos criar um
meta-interpretador ao invés de construir um núcleo Scheme em C.
Outra situação onde meta-interpretadores são importantes é na discussão das características
de linguagens de programação. Como exemplos disso há o livro introdutório de
programação de Abelson e Sussman[10], que descreve meta-interpretadores circulares e
criam variantes deles a fim de ilustrar o funcionamento de diferentes características de
linguagens; o livro de Friedman e Wand[33] sobre linguagens de programação, que aos
poucos constrói diferentes linguages de programação, todas com alguma similaridade
com Scheme; e finalmente o artigo de 1978 de Guy Steele e Gerald Sussman[34], que usa
meta-interpretadores Scheme na discussão de alguns aspectos de linguagens, dentre eles
a diferença entre escopo estático e dinâmico.
6.4 ambiente de primeira classe
6.5 quando usar eval
Da mesma forma que macros e continuações, o uso de eval é normalmente desencorajado.
O primeiro (e mais importante) motivo para evitar eval está relacionado a segurança
de aplicações: quando dados entrados pelo usuário são passados para eval, o programa
torna-se vulnerável a ataques (o usuário pode passar qualquer forma Scheme para ser
interpretada, e não apenas aquelas imaginadas pelo programador). Este problema pode
ser minimizado se filtrarmos as formas passadas para eval, mas isto não é simples. No
Versão Preliminar
2 A idéia de meta-interpretador já estava presente no trabalho de Alan Turing, que descreveu uma “Máquina de
Turing Universal”, capaz de ler a descrição de outra Máquina de Turing e simular seu funcionamento[31, 32].
O primeiro interpretador implementado de fato em computadores e amplamente usado foi o do LISP de
John McCarthy.
156
[ 27 de outubro de 2010 at 15:47 ]