Watching Guy Steele talk about the overline metanotation while thinking of having single definition for both a function turning a DSL to function combinators and a macro turning it into partial-evaluator friendly code, I realized my MUP proposal was for more than quasiquote.
The MUP (Meta-Unquote Protocol) associates to each syntax element both a read-time constructor and a (representation of a) runtime operator — more if additional evaluation stages require it (for e.g. cross-compilation). Syntactic extensions then play well with quasiquote.
-
-
The only place I wrote about the MUP before was in my notes to https://github.com/fare/fare-quasiquote … where the idea originated.
Show this threadThanks. 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.
Read my blog!