Once a programming language exposes a Turing complete macro system, the need arises for a Smalltalk-like meta-object protocol so that nested macros can negotiate with each other and the compiler itself. This is where things get tricky.
-
-
type systems as macros? looks like i have to read this.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Have you thought of blogging or collecting your thoughts somewhere? I only casually read your tweets and I see interesting ideas, but it's lost within the Twitter noise.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.