| Vaguely continuing my thought process of http://arclanguage.org/item?id=11880, this recent paper is quite interesting: http://p-cos.net/documents/hygiene.pdf --- Found at http://axisofeval.blogspot.com/2010/06/theory-of-typed-hygienic-macros.html. I've been plumbing axisofeval after this quote caught my attention: "Write a compiler, not an interpreter, for in an interpreter you will always find an easy way to cheat yourself out of the labyrinth, and you will never have to face the cold, hard walls of reality and triumph over the Minotaur." -- http://axisofeval.blogspot.com/2010/06/letter-to-young-pl-enthusiast.html | 
