Há alguns anos, comecei a escrever um intérprete para um pouco de linguagem específica de domínio, que incluía funções definidas por programadores.

Inicialmente, implementei o escopo variável usando uma simples pilha de tabelas de símbolos. Mas agora eu quero passar para o escopo lexical adequado (com a opção de fechamento). Alguém pode explicar a estrutura de dados e o algoritmo por trás do escopo lexical?