Схема: Когда я соединяю два атома, я получаю точку посередине. Почему?

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

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

(cons 1 (cons 2 3))
=> '(1 2 . 3) ; not a proper list, it doesn't end in '()

Если часть cdr является ячейкой cons или пустым списком '(), то у нас есть список:

(cons 1 '())
=> '(1) ; a proper list, ends in '()

(cons 1 (cons 2 '()))
=> '(1 2) ; a proper list, ends in '()

Определение в «Маленьком интригане» является упрощением, на самом деле cons может принимать значения любого типа для каждого из своих аргументов. По соглашению, если вторым аргументом является список, он будет считаться списком и отображаться как таковой, в противном случае это будет обычная старая ячейка cons, и точка будет напоминать вам об этом.

Процедура cons создает ячейку cons, указывающую на два предоставленных аргумента.

Cons-ячейка — это пара указателей, а список — это одна cons-ячейка или ряд cons-ячеек, второй указатель которых указывает на другую cons-ячейку, а второй указатель последней ячейки указывает на другой объект.

Примечание. Я использую слово объект для простоты, а не в смысле программирования.

В правильном списке второй указатель последней ячейки cons указывает на пустой список.

В неправильном списке второй указатель последней cons-ячейки указывает на объект, который не является пустым списком.

Примечание2: пустой список () является уникальным значением в схеме и отличается от списка. В common lisp он эквивалентен nil, Nil не существует в схеме.

+-----+-----+
|     |     |
|     |     |
+--+--+--+--+
   |     |
   |     |
   v     v
  obj   obj

Минус-ячейка

+-----+-----+     +-----+-----+     +-----+-----+
|     |     +---->+     |     +---->+     |     |
|     |     |     |     |     |     |     |     |
+--+--+-----+     +--+--+-----+     +--+--+--+--+
   |                 |                 |     |
   |                 |                 |     |
   v                 v                 v     v
   0                 1                 2     3

(0 1 2 . 3) -> (0 . (1 . (2 . 3)))    

Неверный список

+-----+-----+     +-----+-----+     +-----+-----+
|     |     +---->+     |     +---->+     |     +----> ()/nil
|     |     |     |     |     |     |     |     |
+--+--+-----+     +--+--+-----+     +--+--+-----+
   |                 |                 |
   |                 |                 |
   v                 v                 v
   0                 1                 2


(0 1 2) -> (0 . (1 . (2 . () )    

Правильный список

Точка (когда она видна в repl) используется для обозначения того, что последний указатель списка указывает на объект, который не является пустым списком и, следовательно, является неправильным списком.

Это мое понимание, по крайней мере, из общего lisp, хотя я уверен, что это переводится в большинство других lisp (я думаю, что Clojure отличается (если вы считаете его lisp)).

страница Википедии о минусах.

~

Маленький Интриган лжет. cons может принимать любой тип в качестве первого и второго аргумента. Вы всегда можете создать пару со структурами в кавычках, такими как '(1 . 8).

Специальной структуры данных для составления списков нет, поэтому в Scheme есть хитрость. Они определяют список либо как пустой список, либо как cons, у которого есть список как его cdr. Таким образом, '(1 . (2 . (3 . ()))) — это список, и если вы его оцените, Scheme repl напечатает (1 2 3) обратно. Если вы оцените '(1 2 3), читатель превратит входной код в '(1 . (2 . (3 . ()))) до того, как интерпретатор схемы сможет его оценить. Список, оканчивающийся на '(), называется правильным списком, так как в нем нет точек между двумя последними элементами. например. '(1 . (2 . (3 . 4))) ; ==> (1 2 3 . 4)

Если вы зададите второй аргумент, правильный список всегда будет правильным списком, и вы не увидите никаких точек.