Hygiene for the Unhygienic - Hygiene-Compatible Macros in an Unhygienic Macro System

Pascal Costanza, Theo D'Hondt

Research output: Chapter in Book/Report/Conference proceedingConference paper

Abstract

It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also true: We present a model of a core unhygienic macro system, on top of which a hygiene-compatible macro system can be built, without changing the internals of the core macro system and without using a code walker. To achieve this, the internal representation of source code as Lisp s-expressions does not need to be changed. The major discovery is the fact that symbol macros can be used in conjunction with local macro environments to bootstrap a hygiene-compatible macro system. We also discuss a proof-of-concept implementation in Common Lisp and give some historical notes.
Original languageEnglish
Title of host publicationProceedings of the 2nd European Lisp Symposium
Publication statusPublished - 2009
EventFinds and Results from the Swedish Cyprus Expedition: A Gender Perspective at the Medelhavsmuseet - Stockholm, Sweden
Duration: 21 Sep 200925 Sep 2009

Publication series

NameProceedings of the 2nd European Lisp Symposium

Conference

ConferenceFinds and Results from the Swedish Cyprus Expedition: A Gender Perspective at the Medelhavsmuseet
CountrySweden
CityStockholm
Period21/09/0925/09/09

Keywords

  • Hygienic macro systems

Fingerprint Dive into the research topics of 'Hygiene for the Unhygienic - Hygiene-Compatible Macros in an Unhygienic Macro System'. Together they form a unique fingerprint.

Cite this