[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Double unquote/unquote-splicing
From: |
Nathan Trapuzzano |
Subject: |
Re: Double unquote/unquote-splicing |
Date: |
Mon, 04 Nov 2013 13:11:26 -0500 |
User-agent: |
Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3.50 (gnu/linux) |
Nathan Trapuzzano <address@hidden> writes:
> This is incorrect. ``(a ,,@x) where x=(1 2 3) would evaluate to
> (\` (a (\, 1) (\, 2) (\, 3))). The first comma in ,,@ has the effect of
> being applied member-wise to each element spliced out of ,@. Cf. CLHS
> `Backquote' (http://www.lispworks.com/documentation/HyperSpec/Body/02_df.htm).
By the way, like in Common Lisp, what backquote/unquote/unquote-splicing
expand to is not defined. What's defined is the effect of their
evaluation, so what I presented here doesn't _have_ to be the way ,,@
works. For example, in Elisp, the expression in question may very well
expand to (\` (a (\, 1 2 3))) (as you say) so long as it is semantically
equivalent to (\` (a (\, 1) (\, 2) (\, 3))).
- Double unquote/unquote-splicing, Nathan Trapuzzano, 2013/11/04
- Re: Double unquote/unquote-splicing, Stefan Monnier, 2013/11/04
- Re: Double unquote/unquote-splicing, Nathan Trapuzzano, 2013/11/04
- Re: Double unquote/unquote-splicing,
Nathan Trapuzzano <=
- Re: Double unquote/unquote-splicing, Stefan Monnier, 2013/11/04
- RE: Double unquote/unquote-splicing, Drew Adams, 2013/11/04
- Re: Double unquote/unquote-splicing, Nathan Trapuzzano, 2013/11/04
- Re: Double unquote/unquote-splicing, Stefan Monnier, 2013/11/04
- Re: Double unquote/unquote-splicing, Nathan Trapuzzano, 2013/11/05
- Re: Double unquote/unquote-splicing, Stefan Monnier, 2013/11/05
- Re: Double unquote/unquote-splicing, Stephen J. Turnbull, 2013/11/04
- Re: Double unquote/unquote-splicing, Nathan Trapuzzano, 2013/11/05
- Re: Double unquote/unquote-splicing, Stephen J. Turnbull, 2013/11/05