Where, @ abbreviation for quasi-quasota-splicing?

Question

In the diagram, ,is an abbreviation for quasiquoteand ,@is an abbreviation for quasiquote-splicing.

Where does it come from @? Is it supposed to be mnemonic for the operation, or is it consistent with @in some other context or something else or some combination?

Answer 1

Chapter 4 A story in Quasiquitration in Lisp by Alan Bowden states that the Quasi-Quotation comes from the WV Quine Mathemathical Logic (circa 1940), but does not contain an explicit marker for unquote. McCarthy developed Lisp around 1960, but also did not offer quasicotation of S-expressions. It was in the years 1960-1970 that the AI ​​community spent a lot of effort learning how to program using the S-expression and the structure of lists and symbols:

[N] Lisp , . Conniver 'X, ,X @X, !"X, @X !@X , . (Conniver ,X, @X, , .) (. 6)

, Lisp @ . McDermott Sussman Conniver ,, , .

,, , , quasiquote . , , , . , quasiquote-splicing , .

, , quasiquote-splicing @. , quasiquote-splicing ,@X ( "comma-atsign" ).

@ , . , , @ ad, , , ,@ , s... .

, Bawden, , @ - () .