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.
-
Show this thread
-
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.
1 reply 0 retweets 0 likesShow this thread
The only place I wrote about the MUP before was in my notes to https://github.com/fare/fare-quasiquote … where the idea originated.
0 replies
1 retweet
1 like
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!