Here's a sketch of a hygienic macro system for Scheme. It uses syntax objects as in Racket's macro system, but it represents them as algebraic data types/AST nodes, which makes for a simple framework compared to what I've seen elsewhere:https://gist.github.com/anonymous/5c34c5a8cf18fec7f03dd9eca9b07651 …
-
-
My goal for the letrec macro was to show that it's no worse than the classical non-hygienic letrec macro if you have algebraic syntax objects and write things "functorially". But you can of course build pattern languages on top of this, and probably should.
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.