Manuel Simoni's blog about programming (languages).
Showing posts with label
hygiene
.
Show all posts
Showing posts with label
hygiene
.
Show all posts
Saturday, May 14, 2011
Secret toplevel
›
A somewhat arcane aspect of hygienic macro systems is the notion that macro-introduced toplevel identifiers are secret. An example of this i...
Monday, March 7, 2011
Understanding Hygiene (part 2) -- SRFI 72
›
My critically acclaimed Understanding Hygiene (part 1) contains the absolute baseline necessary for understanding hygienic macros. This pos...
Saturday, June 19, 2010
A Theory of Typed Hygienic Macros
›
Dave Herman's much-awaited dissertation is out ! Hygienic macro expansion is one of the crown jewels of Scheme, but to this day nobody u...
Sunday, May 9, 2010
Ell Kernel Language
›
I'm nearing completion of the kernel language of my new Lisp, the Executable and Linkable Lisp, ell (1) . It's basically what I wan...
Tuesday, May 4, 2010
Understanding Hygiene (part 1)
›
Because macroexpansion is performed before compilation, the compiler receives only core language expressions with known semantics (LAMBDA, D...
3 comments:
Tuesday, April 20, 2010
Code is (more than) data
›
In Lisps like Common Lisp, code is data. (In CL, code is represented as cons lists, which totally sucks, because you can't attach any me...
›
Home
View web version