This kind of stuff also showed up in my program analysis and advanced compiler classes, too.
One of the class projects was to implement first-class macros, and we used an interpreter that looked a lot like the one from this article:
http://matt.might.net/articles/metacircular-evaluation-and-f...
(/article author)
(I also had to walk to class barefoot in the snow uphill both ways)
This kind of stuff also showed up in my program analysis and advanced compiler classes, too.
One of the class projects was to implement first-class macros, and we used an interpreter that looked a lot like the one from this article:
http://matt.might.net/articles/metacircular-evaluation-and-f...
(/article author)