cons comuni lisp contro crea una lista da due simboli, contro i clojure richiede un seq a cons on?

Question

(Disclaimer - Sono consapevole del significato di SEQS in Clojure)

in Lisp comune la funzione di contro può essere usato per combinare due simboli in un elenco:

(def s 'x) 
(def l 'y) 
(cons s l) 

In clojure - si può solo contro su una sequenza - i contro non sono stati estesi per funzionare con due simboli. Quindi si deve scrivere:

(def s 'x) 
(def l 'y) 
(cons s '(l)) 

C'è un modello di livello superiore in Clojure che spiega questa differenza tra LISP comune e Clojure?

Answer 1

In Clojure, a differenza dei tradizionali Lisps, le liste non sono le strutture dati primarie. Le strutture dati possono implementare l'interfaccia ISeq - che è un'altra vista della struttura dati che viene fornita - consentendo alle stesse funzioni di accedere a elementi in ciascuna. (Elenchi già implementano questo. seq? verifica se qualcosa implementa ISeq. (seq? '(1 2)), (seq? [1 2])) Clojure semplicemente agisce diversamente (a ragione), dal fatto che quando cons viene utilizzato, una sequenza (in realtà è di tipo clojure.lang.Cons) costruito a e (seq b) viene restituito. (a essendo arg 1 e b arg 2) Ovviamente, simboli non e non possono implementare ISeq.

Clojure.org/sequences

Sequences screencast/talk by Rich Hickey Tuttavia, si noti che rest è cambiato, e il suo comportamento precedente è ora in next, e che lazy-cons è stato sostituito da lazy-seq e cons.

clojure.lang.RT

Answer 2

Quando si dice

> (cons 'a 'b) 

in Common Lisp non ottenete un elenco, ma un paio tratteggiata: (a . b), mentre il risultato di

> (cons 'a (cons 'b nil)) 

è la coppia tratteggiata (a . (b . nil)).

Nel primo elenco il cdr() di quello non è un elenco, poiché è qui b e non nil, rendendolo un elenco non corretto. Gli elenchi appropriati devono essere chiusi da nil. Pertanto le funzioni di ordine superiore come mapcar() e gli amici non funzioneranno, ma salviamo una cella di controllo. Immagino che i progettisti di Clojure abbiano rimosso questa funzione a causa della confusione che potrebbe causare.

Answer 3

In Common Lisp CONS crea una cosiddetta cella CONS, che è simile a un record con due slot: la 'macchina' e il 'cdr'.

È possibile inserire QUALSIASI in questi due slot di una cella di controllo.

Le celle Contro sono utilizzate per creare elenchi. Ma si possono creare tutti i tipi di strutture dati con celle di controllo: alberi, grafici, vari tipi di elenchi specializzati, ...

Le implementazioni di Lisp sono altamente ottimizzate per fornire celle di controllo molto efficienti.

Answer 4

Un elenco Lisp è solo un modo comune di utilizzare le celle contro (vedere Rainer's description). Clojure è meglio visto come non avere contro le cellule (anche se qualcosa di simile potrebbe nascondersi sotto il cofano). Il Clojure cons è un termine improprio, in realtà dovrebbe essere chiamato solo prepend.

Answer 5

In Clojure è preferibile l'utilizzo di un vettore a due elementi: [:a :b]. Sotto il cofano questi piccoli vettori sono implementati come array Java e sono estremamente semplici e veloci.

Una mano corta per (cons :a '(:b)) (o (cons :a (cons :b nil))) è list: (list :a :b).