> > My proposal is that (outside of modern-expressions) it simply means "the > > quote symbol". > > I think I really meant is that "the ' character, with any kind of > whitespace after it, simply means 'the symbol named "quote"', and is > considered as a flat member of the current head". This also means > that, without a whitespace after it, it is interpreted as in > modern-expressions: the next expression is wrapped in (quote _x_). > > So: > > ` > ..x ,y > > ===> > > quasiquote > ..x (unquote y) > > ===> > > (quasiquote (x (unquote y))) > > Thoughts? > > Hmm.. > > ' ' x > > ==> > > quote quote x > > ===> > > (quote quote x) > > ... does that match intuitions?
I ran my current implementation "sweet-filter" on these cases. Of course, it may have bugs (really?) and may not be what you expected, but here's what it does: ======================== ` ..x ,y => `(x (unquote y)) quasiquote ..x (unquote y) => `(x (unquote y)) ' ' x => '((quote) x) == (quote ((quote) x)) quote quote x => (quote quote x) ======================== I have to admit, the: ' ' x case perhaps should be => (quote (quote x)) instead. That may be a bug in the implementation, I need to go back to examine the spec. ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ Readable-discuss mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/readable-discuss
