W Clojure, kiedy powinienem używać wektora nad listą i na odwrót?

Czytałem, że wektory nie są sekwencjami, ale listy są. Nie jestem pewien, jakie jest uzasadnienie używania jednego nad drugim. Wydaje się, że najczęściej używa się wektorów, ale czy jest ku temu powód?

Po raz kolejny wydaje mi się, że odpowiedziałem na swoje pytanie, zniecierpliwiony i zadając je na #clojure na Freenode. Zachęcamy do odpowiadania na własne pytania na Stackoverflow.com: D

Odbyłem szybką dyskusję z Rich Hickey i oto jej sedno.

[12:21] <Raynes>    Vectors aren't seqs, right?
[12:21] <rhickey>   Raynes: no, but they are sequential
[12:21] <rhickey>   ,(sequential? [1 2 3])
[12:21] <clojurebot>    true
[12:22] <Raynes>    When would you want to use a list over a vector?
[12:22] <rhickey>   when generating code, when generating back-to-front
[12:23] <rhickey>   not too often in Clojure

Jeśli dużo zajmowałeś się programowaniem w Javie i znasz strukturę kolekcji Java, pomyśl o listach, takich jak LinkedListi wektorach, takich jak ArrayList. Możesz więc wybrać pojemniki w ten sam sposób.

Dla dalszego wyjaśnienia: jeśli zamierzasz dodawać elementy pojedynczo na początku lub na końcu sekwencji, lista połączona jest znacznie lepsza niż wektor, ponieważ elementy nie muszą być tasowane za każdym razem. Jeśli jednak chcesz często uzyskiwać dostęp do określonych elementów (nie blisko początku ani z tyłu listy) (tj. Dostęp losowy), będziesz chciał użyć wektora.

Nawiasem mówiąc, wektory można łatwo przekształcić w sekwencje.

user=> (def v (vector 1 2 3))
#'user/v
user=> v
[1 2 3]
user=> (seq v)
(1 2 3)
user=> (rseq v)
(3 2 1)

Wektory mają O (1) czasów dostępu swobodnego, ale muszą być wstępnie przydzielone. Listy można rozszerzać dynamicznie, ale dostęp do elementu losowego jest O (n).

Kiedy używać wektora:

• Wydajność dostępu indeksowanego - uzyskasz ~ O (1) koszt dostępu indeksowanego w porównaniu z O (n) dla list
• Dołączanie - z połączeniem ~ O (1)
• Wygodna notacja - łatwiej mi zarówno pisać, jak i czytać [1 2 3] niż „(1 2 3) dla dosłownej listy w okolicznościach, w których jedno i drugie by się sprawdzało.

Kiedy używać listy:

• Gdy chcesz uzyskać do niego dostęp jako sekwencję (ponieważ listy bezpośrednio obsługują sekwencję bez konieczności przydzielania nowych obiektów)
• Prepending - dodanie na początek listy z wadami lub najlepiej spójnikiem O (1)

tylko krótka uwaga dodatkowa:

„Czytałem, że wektory nie są sekwencjami, ale listy są”. 

sekwencje są bardziej ogólne niż listy lub wektory (lub mapy lub zbiory).
Szkoda, że REPL drukuje listy i sekwencje w ten sam sposób, ponieważ naprawdę sprawia, że ​​wygląda na to, że listy są sekwencjami, mimo że są różne. funkcja (seq) utworzy sekwencję z wielu różnych rzeczy, w tym list, a następnie możesz przekazać tę sekwencję do dowolnej z wielu funkcji, które wykonują sprytne rzeczy z sekwencjami.

user> (class (list 1 2 3))
clojure.lang.PersistentList

user> (class (seq (list 1 2 3)))
clojure.lang.PersistentList

user> (class (seq [1 2 3]))
clojure.lang.PersistentVector$ChunkedSeq

Sec ma skrót, który zwraca swój argument, jeśli jest już sekwencją:

user> (let [alist (list 1 2 3)] (identical? alist (seq alist)))
true
user> (identical? (list 1 2 3) (seq (list 1 2 3)))
false

static public ISeq seq(Object coll){
        if(coll instanceof ASeq)
                return (ASeq) coll;
        else if(coll instanceof LazySeq)
                return ((LazySeq) coll).seq();
        else
                return seqFrom(coll);
}

listy są sekwencjami, chociaż inne rzeczy też są i nie wszystkie sekwencje są listami.