Mergulho profundo em macros higiênicas em Scheme

O sistema de macros do Scheme emprega um mecanismo de 'higiene' para evitar conflitos de nomes de variáveis durante a expansão de macros. Este artigo mergulha no conceito de identificadores em Scheme, que englobam não apenas um nome simbólico, mas também um contexto léxico e um contexto histórico. Os predicados `bound-identifier=?` e `free-identifier=?` comparam a equivalência de identificadores; o primeiro se concentra na intercambialidade de identificadores ligados após a expansão da macro, enquanto o segundo se concentra em identificadores livres. O artigo usa vários exemplos para ilustrar as diferenças entre essas duas relações de equivalência e o papel do contexto histórico no mecanismo de macro higiênica. Por fim, explica como o Scheme usa as informações históricas dos identificadores para garantir a higiene de macros e evitar conflitos de nomes de variáveis.