Как добавить к схеме alist в схеме?

Question

Добавление элемента в голову ассоциативного списка (список ассоциативного) достаточно прост:

> (cons '(ding . 53) '((foo . 42) (bar . 27))) 
((ding . 53) (foo . 42) (bar . 27)) 

прилагая к хвосту ассоциативного списка немного сложнее, хотя. После некоторого экспериментирования, я произвел это:

> (define (alist-append alist pair) `(,@alist ,pair)) 
> (alist-append '((foo . 42) (bar . 27)) '(ding . 53)) 
'((foo . 42) (bar . 27) (ding . 53)) 

Тем не менее, мне кажется, что это не идиоматическое решение. Итак, как это обычно делается в схеме? Или это на самом деле способ?

Answer 1

Вы не добавляете к списку. Вы задерживаетесь в списке.

A-list логически представляет собой набор ассоциаций. Вы не заботитесь о порядке элементов в наборе. Все, о чем вы заботитесь, это наличие или отсутствие определенного элемента. В случае со списком все, что вам нужно, - это наличие ассоциации для данного тега (т. Е. Пара, CAR - это указанное значение) и, учитывая эту ассоциацию, связанное значение (т. Е. В этом реализация, CDR пары).

Answer 2

Common Lisp определяет функцию с именем ACONS именно для этой цели, где

(acons key value alist) 

эквивалентно:

(cons (cons key value) alist) 

Это наводит на мысль, что просто consing на ассоциативный список идиоматичен. Обратите внимание, что это означает две вещи:

1. Поскольку обыски обычно выполняются спереди назад, недавно добавленные ассоциации имеют приоритет над более старыми. Это можно использовать для наивной реализации как лексических, так и динамических сред.
2. При включении в список O (1) добавление, как правило, O (n), где n - длина списка, поэтому идиоматическое использование лучше всего подходит для производительности, а также является стилистически предпочтительным.