Weird синтаксис Common Lisp

Question

Я нашел эту функцию LISP в то время как я был прибегая к помощи

(defun filter (lst items-to-filter) 
    (cond ((null lst) nil) 
     ((member (car lst) items-to-filter) #1=(filter (cdr lst) items-to-filter)) 
     (t (cons (car lst) #1#)))) 

Это просто установить разницу, но это первый раз, когда я вижу # 1 = и # 1 #, синтаксис. Я думаю, что понимаю, что это значит, просто взглянув на код, но я не уверен. Я думаю, что # 1 = используется для обозначения выражения, чтобы не повторять его позже, когда это необходимо, можно просто ссылаться на него с помощью # index #, в этом случае index = 1. Мне было интересно, может ли кто-нибудь пролить свет на это. Что называются этими конструкциями, если для них есть ссылка, и если они широко используются в современном коде Lisp. Спасибо

Answer 1

Чтобы увидеть это в письменном виде, очень необычно. Большую часть времени вы видите это в данных. Он используется для создания или печати общих элементов данных в s-выражениях. Таким образом, вы также можете читать или печатать круговые s-выражения.

Вы можете использовать его для упрощения создания повторяющегося кода, но обычно для этого можно написать функции или макросы. Преимущество функций состоит в том, что они сохраняют кодовое пространство - если только они не встроены.

CL-USER 3 > (pprint '(defun filter (lst items-to-filter) 
         (cond ((null lst) nil) 
          ((member (car lst) items-to-filter) 
           #1=(filter (cdr lst) items-to-filter)) 
          (t (cons (car lst) #1#))))) 

(DEFUN FILTER (LST ITEMS-TO-FILTER) 
    (COND ((NULL LST) NIL) 
     ((MEMBER (CAR LST) ITEMS-TO-FILTER) 
     (FILTER (CDR LST) ITEMS-TO-FILTER)) 
     (T 
     (CONS (CAR LST) (FILTER (CDR LST) ITEMS-TO-FILTER))))) 

Как вы видите выше, принтер не печатает его таким образом. Почему это? Существует глобальная переменная *print-circle*, которая контролирует ее. Для примера выше было установлено значение NIL. Давайте изменим, что:

CL-USER 4 > (setf *print-circle* t) 
T 

CL-USER 5 > (pprint '(defun filter (lst items-to-filter) 
         (cond ((null lst) nil) 
          ((member (car lst) items-to-filter) 
           #1=(filter (cdr lst) items-to-filter)) 
          (t (cons (car lst) #1#))))) 

(DEFUN FILTER (LST ITEMS-TO-FILTER) 
    (COND ((NULL LST) NIL) 
     ((MEMBER (CAR LST) ITEMS-TO-FILTER) 
     #1=(FILTER (CDR LST) ITEMS-TO-FILTER)) 
     (T 
     (CONS (CAR LST) #1#)))) 

Таким образом, это показывает, что можно читать и печатать такие S-выражения в Common Lisp

Sharing некоторые структуры данных исходного кода является более распространенным в вычисленного кода:

CL-USER 22 > (defmacro add-1-2-3 (n) `(,n 1 2 3)) 
ADD-1-2-3 

CL-USER 23 > (walker:walk-form '(+ (add-1-2-3 4) (add-1-2-3 5))) 
(+ (4 . #1=(1 2 3)) (5 . #1#))