W clojure, dlaczego assoc wymaga argumentów oprócz mapy, ale nie dissoc nie?

Question

W Clojure,

(assoc {}) 

zgłasza wyjątek Arity, ale

(dissoc {}) 

nie. Czemu? Spodziewałbym się, że obaj wyrzucą wyjątek, lub oba, aby nie wprowadzać żadnych zmian, gdy nie zostaną podane żadne klucze ani wartości.

EDYTOWANIE: Widzę uzasadnienie dla dopuszczenia tych formularzy; oznacza to, że możemy zastosować assoc lub dissoc do możliwie pustej listy argumentów. Po prostu nie rozumiem, dlaczego ktoś miałby być dopuszczony, a drugi nie, i jestem ciekawy, czy istnieje ku temu dobry powód.

Answer 1

Osobiście uważam brak 1-arity assoc jest przeoczenie: gdy spodziewane jest lista spływu parametrów (& stuff), funkcja powinna zwykle być w stanie pracować z zerową parametrów w celu umożliwienia do apply go do pustej listy.

Clojure ma wiele innych funkcji, które działają poprawnie przy zerowych argumentach, np. + i merge.

Z drugiej strony, Clojure ma inne funkcje, które nie akceptuje zerowych parametrów końcowych, na przykład. conj.

Więc API Clojure jest nieco niespójne w tym względzie .....

Answer 2

To nie jest odpowiedź autorytatywna, ale opiera się na moich testów i patrząc na ClojureDocs:

dissoc „s arity Obejmuje to jest w stanie przejść w jednym argumentem, mapą. W takim przypadku żaden klucz/wartość nie zostanie usunięty z mapy.

(def test-map {:account-no 12345678 :lname "Jones" :fnam "Fred"}) 
(dissoc test-map) 
{:account-no 12345678, :lname "Jones", :fnam "Fred"} 

assoc ma podobną arity. To wywołanie assoc wymaga mapy, klucza i wartości.

To, dlaczego został zaprojektowany w ten sposób, jest inną kwestią, a jeśli nie otrzymasz odpowiedzi z tymi informacjami - mam nadzieję, że tak - sugeruję zaoferować nagrodę lub przejść do Grup dyskusyjnych Clojure i poprosić o pytanie.

Oto źródło.

(defn dissoc 
    "dissoc[iate]. Returns a new map of the same (hashed/sorted) type, 
that does not contain a mapping for key(s)." 
    {:added "1.0" 
    :static true} 
    ([map] map) 
    ([map key] 
    (. clojure.lang.RT (dissoc map key))) 
    ([map key & ks] 
    (let [ret (dissoc map key)] 
    (if ks 
     (recur ret (first ks) (next ks)) 
     ret))))