For a quasiquote in Scheme that works like the Common Lisp one: https://github.com/darius/sketchbook/blob/master/misc/quasiquote.scm
Alan Bawden's paper referenced from there gives the rationale. Faré wrote: > That's an area where indeed maru could improve on CL, by e.g. > specifying a meta-quasiquote protocol for how quoting interacts with > user-defined syntax. It might be worth looking at E's quasiliterals design for ideas there. http://erights.org/elang/grammar/quasi-overview.html Darius On Tue, Nov 26, 2013 at 11:59 PM, Faré <[email protected]> wrote: > On Mon, Nov 25, 2013 at 10:27 AM, Aaron Burrow <[email protected]> > wrote: > > a few remarks on the semantics of quasiquoting, > > [...] > > High level design intent of maru's quasiquote would also be interesting. > > My guess would be that maru's quasiquote is somewhat buggy. Quasiquote > is really difficult to implement right. I tried once, and failed to > optimize the expansion in a way that handles ,@,@ then eventually fell > back to closely following the reference implementation > http://cliki.net/fare-quasiquote > > Also note that the semantics of quasiquote is underspecified in Common > Lisp, as to how it interacts with the special syntaxes of various > other data structure constructors (e.g. what is `#3(1 ,@'(2 3)) ? If > you have other builtin or user-defined structure constructor syntaxes, > how does it interact with quasiquoting?). I am not sure how Scheme or > Clojure resolve the issue... probably not in a well-designed way. > That's an area where indeed maru could improve on CL, by e.g. > specifying a meta-quasiquote protocol for how quoting interacts with > user-defined syntax. > > If you're interested, there's experimentation and design to do, and > probably a paper to publish. > > —♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• > http://fare.tunes.org > "Computer programming is omnipotence without omniscience." > — Prospero, as cited by Eliezer Yudkowsky > _______________________________________________ > fonc mailing list > [email protected] > http://vpri.org/mailman/listinfo/fonc >
_______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
