Loading...
Please wait, while we are loading the content...
Similar Documents
Hygiene for the Unhygienic Hygiene-Compatible Macros in an Unhygienic Macro System
| Content Provider | Semantic Scholar |
|---|---|
| Author | Costanza, Pascal |
| Copyright Year | 2009 |
| 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. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.p-cos.net/documents/hygiene.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
