Inmersión profunda en macros higiénicas en Scheme

El sistema de macros de Scheme emplea un mecanismo de 'higiene' para evitar conflictos de nombres de variables durante la expansión de macros. Este artículo profundiza en el concepto de identificadores en Scheme, que abarcan no solo un nombre simbólico, sino también un contexto léxico y un contexto histórico. Los predicados `bound-identifier=?` y `free-identifier=?` comparan la equivalencia de identificadores; el primero se centra en la intercambiabilidad de identificadores enlazados después de la expansión de la macro, mientras que el segundo se centra en los identificadores libres. El artículo utiliza varios ejemplos para ilustrar las diferencias entre estas dos relaciones de equivalencia y el papel del contexto histórico en el mecanismo de macro higiénica. Finalmente, explica cómo Scheme utiliza la información histórica de los identificadores para garantizar la higiene de las macros y evitar conflictos de nombres de variables.