Tieftauchen in hygienische Makros in Scheme

Das Makrosystem von Scheme verwendet einen „Hygienischen“ Mechanismus, um Namenskonflikte von Variablen während der Makroerweiterung zu vermeiden. Dieser Artikel untersucht eingehend das Konzept von Identifikatoren in Scheme, die nicht nur einen symbolischen Namen, sondern auch einen lexikalischen und einen historischen Kontext umfassen. Die Prädikate `bound-identifier=?` und `free-identifier=?` vergleichen die Äquivalenz von Identifikatoren; ersteres konzentriert sich auf die Austauschbarkeit gebundener Identifikatoren nach der Makroerweiterung, während letzteres sich auf freie Identifikatoren konzentriert. Der Artikel verwendet mehrere Beispiele, um die Unterschiede zwischen diesen beiden Äquivalenzrelationen und die Rolle des historischen Kontexts im hygienischen Makromechanismus zu veranschaulichen. Schließlich wird erklärt, wie Scheme die historischen Informationen von Identifikatoren verwendet, um die Hygiene von Makros zu gewährleisten und Namenskonflikte zu vermeiden.