Элемент cons для списка vs cons для элемента в схеме

Question

В чем разница между использованием cons для объединения элемента в список и использованием cons для объединения списка в элемент в схеме?

Кроме того, как именно действуют минусы? Добавляет ли элемент в конец списка или начало?

Спасибо!

Answer 1

Примитив cons просто связывает две вещи, факт, что некоторые из этих вещей считаются списками случайным. Например, это работает и создает пару (также известную как клетка конса):

(cons 1 2) 
=> '(1 . 2)  ; a pair 

Теперь, если второй аргумент cons случается список, то результат будет новым список, и первый аргумент cons будет добавлен во главе старого списка. Другими словами: создать список вам нужен список, даже если он пуст:

(cons 1 '(2 3)) 
=> '(1 2 3)  ; a list 

(cons 1 (cons 2 '())) 
=> '(1 2)  ; a list 

(cons 1 '()) 
=> '(1)   ; a list 

Но если второй аргумент cons является не список, то результат будет просто пара, или неподходящий список, что означает, что она не заканчивается в '(), как это следует рассматривать список:

(cons '(1 2) 3) 
=> '((1 2) . 3) ; a pair, not a list 

(cons 1 (cons 2 3)) 
=> '(1 2 . 3) ; an improper list 

Просто чтобы прояснить, вы не можете использовать cons для добавления элементов в конец списка. Обычный способ построения списка происходит справа налево, добавление элементов в обратном направлении в положении головы - говорят, что вы хотите построить список '(1 2 3), то вы должны cons элементов в порядке 3 2 1:

(cons 3 '())     ; list is '(3) 
(cons 2 (cons 3 '()))   ; list is '(2 3) 
(cons 1 (cons 2 (cons 3 '()))) ; list is '(1 2 3) 

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

(append '(1 2 3) '(4)) 
=> '(1 2 3 4)