[CL] Странная запись

Это указатель на объект, который затем можно использовать при чтении как ссылку на этот же объект. Это нужно для чтения структур, у которых есть разделяемые части (в том числе для циклических списков).

#1= помечает следующий объект, а #1# подставляет помеченный объект (при этом, подставленный объект будет равен помеченному с точностью до eq).

Для примера:

#1= '(123 #1#)

Прочтется в бесконечный список.

Пример с разделяемыми (shared) частями структур:

CL-USER> *print-circle*
NIL
CL-USER> (let ((x (list 1 2)))
           (list x x))
((1 2) (1 2))
CL-USER> (setf *print-circle* t)
T
CL-USER> (let ((x (list 1 2)))
           (list x x))
(#1=(1 2) #1#)
CL-USER> 

Пример со списком лучше так записать:

'#1=(123 . #1#)

Огромное спасибо за развернутый ответ!

> "#1=#:g0001"

#:g0001 это gensym

* (defun next-x() (setq x (+ x 1)))
NEXT-X
; да-да, надо замыканием.

* (setq x 0)
0

* (list #1=(next-x) #1# #1# #1#)
(1 2 3 4)